主要公开日志

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

• 2023年7月2日 (日) 13:15 Gsxab 留言 贡献创建了页面切消定理 （创建页面，内容为“分类:证明论 {{InfoBox |name=切消定理 |eng_name=cut theorem |aliases=切割消去定理,cut elimination theorem,Cut }} '''切消定理'''('''cut theory''')是重要的元定理，由演绎的定义即可得出，因此适用于绝大多数常见公理系统。 == 定理 == 对任意公式集 <math>\Gamma</math> 、 <math>\Delta</math> 和公式 <math>\phi_1,\dots,\phi_k, \psi</math> ，若有 <math>\Gamma, \phi_1, \dots, \phi_k \vdash \psi…”）