主要公开日志

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

• 2023年6月10日 (六) 13:24 Gsxab 留言 贡献创建了页面元定理 （创建页面，内容为“{{InfoBox |name=元定理 |eng_name=metatheorem |aliases=metathesis }} 当我们研究形式化公理系统（形式语言）时，会使用如可证明性、可演绎性等描述，这些词汇并不属于形式语言本身，而是属于描述其用的语言（'''元语言'''），因此相关的定理称为'''元定理'''。”）