出处：数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
| 字词 | 独立性 |
| 释义 | 独立性 独立性 亦称“不可推演性”。数理逻辑中形式系统的重要性质。如果根据已经给定的推演规则,从一类公式推不出某一特定的公式,则称该公式对于这类公式是独立的。对于任意一个非空的公式集M而言,如果M中的任何公式A都不能根据已经给定的推演规则从M中的其他公式推出,则称公式集M是独立的。尤其关注M是形式系统的公理集的情况,若M是独立的,则意味着诸公理缺一不可,任何公理都不能由其他公理推出。常用算术解释的方法来证明独立性。 出处：数理化力学卷 • 数 学 • 数理逻辑 • 数学基础 |
| 随便看 |
|
修远网汉语字词典收录72225条汉语词条，基本涵盖了全部常见汉语字词的翻译、注释及用法释义，是语文学习的有利工具。