主要公开日志

所有GSXAB的知识库公开日志的联合展示。您可以通过选择日志类型、输入用户名（区分大小写）或相关页面（区分大小写）筛选日志条目。

• 2023年6月18日 (日) 12:25 Gsxab 留言 贡献创建了页面公理（逻辑） （创建页面，内容为“分类:逻辑演算 {{InfoBox |name=公理 |eng_name=axiom }} {{InfoBox |name=公理模式 |eng_name=axiom schema }} '''公理'''('''axiom''')指没有经过证明，被当作不证自明的命题。 若规定符合某形式的公式都是公理，则称为'''公理模式'''('''axiom schema''')。 公理在相关理论中其真实性理所当然，且是作为推导、演绎的起点。 == 定义 == 形式化系统（形式语言）中，变换有起始点…”）