协调性

数理逻辑中形式系统的重要性质。指没有公式A使得A和A都是形式定理。一个公式的集合具有协调性,是指没有公式A使得A和A都能以这个集合中的公式形式地推出。命题演算和谓词演算都具有这种性质。 ......    （本文共 92 字 ）     [阅读本文] >>