数学 无矛盾性(consistency of mathematics)又称协调性、一致性或相容性。 ... 数学的无矛盾性可以表达为:在这个公理系统内不能推出两个互相矛盾的符号公式,等价地 ...
確定! 回上一頁