主要公开日志

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

• 2023年6月10日 (六) 11:53 Gsxab 留言 贡献创建了页面证明 （创建页面，内容为“{{InfoBox |name=证明 |eng_name=proof }} {{InfoBox |name=定理 |eng_name=theorem }} '''证明'''('''proof''')指某个推理系统的变形规则下，从空前提到某一结论的步骤。 对应地，这个步骤的存在性被称为'''可证明'''('''provable''')。 '''定理'''('''theorem''')即该系统中任一可证明的公式。 == 定义 == 在指定形式化公理系统 <math>\mathbf{H}</math> 中，从空…”）