主要公开日志

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

• 2023年7月2日 (日) 06:41 Gsxab 留言 贡献移动页面模板:逻辑演算至模板:证明论
• 2023年6月10日 (六) 09:40 Gsxab 留言 贡献创建了页面模板:逻辑演算 （创建页面，内容为“{| class='wikitable' style='text-align:center;margin:0 auto;border-width:2px' width='100%' |- ! colspan=2 style='border-bottom-width:2px' | 演算理论 |- ! 元语言 | 公理系统（形式化、公理化） |- ! 命题、定理 | 命题、定理、内定理、元定理、变形规则 |- ! 演绎 | 证明、可证明、演绎、可演绎 |}”）