主要公开日志

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

• 2023年6月10日 (六) 09:53 Gsxab 留言 贡献创建了页面形式化公理系统（逻辑） （创建页面，内容为“{{InfoBox |name=公理系统 |eng_name=axiomatic system }} '''形式化公理系统'''('''formal axiomatic system''')或公理系统，通常指形式化的、公理化的系统，即含有一系列公理的形式语言。 通常包含一个公理的集合和一个推演规则的集合。”）