主要公开日志

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

• 2023年6月22日 (四) 13:32 Gsxab 留言 贡献创建了页面独立性 （创建页面，内容为“分类:逻辑演算 {{InfoBox |name=独立性 |eng_name=independency }} '''独立性'''('''independency''')指一个公理系统中，有公式在这个公理和推演规则下是不可证明或的； 或者这个公理系统中的公式互相有着这个性质。 == 定义 == 对给定公理系统，包括公理及推演规则，若对公式 <math>\phi</math> ，不存在一条从 <math>\Gamma</math> 到 <math>\ph…”）