出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
词条 | 独立性 |
释义 | 独立性 独立性 亦称“不可推演性”。数理逻辑中形式系统的重要性质。如果根据已经给定的推演规则,从一类公式推不出某一特定的公式,则称该公式对于这类公式是独立的。对于任意一个非空的公式集M而言,如果M中的任何公式A都不能根据已经给定的推演规则从M中的其他公式推出,则称公式集M是独立的。尤其关注M是形式系统的公理集的情况,若M是独立的,则意味着诸公理缺一不可,任何公理都不能由其他公理推出。常用算术解释的方法来证明独立性。 出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础 |
随便看 |
百科全书收录258893条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。