请输入您要查询的百科知识:

 

词条 独立性
释义
独立性
独立性  亦称“不可推演性”。数理逻辑中形式系统的重要性质。如果根据已经给定的推演规则,从一类公式推不出某一特定的公式,则称该公式对于这类公式是独立的。对于任意一个非空的公式集M而言,如果M中的任何公式A都不能根据已经给定的推演规则从M中的其他公式推出,则称公式集M是独立的。尤其关注M是形式系统的公理集的情况,若M是独立的,则意味着诸公理缺一不可,任何公理都不能由其他公理推出。常用算术解释的方法来证明独立性。
出处:数理化力学卷 • 数  学 • 数理逻辑 • 数学基础
随便看

 

百科全书收录258893条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。

 

Copyright © 2004-2023 Newdu.com All Rights Reserved
更新时间:2025/2/8 5:20:15