亦称“相容性”、“（古典的）一致性”、“无矛盾性”。数理逻辑中形式系统的重要性质。指没有公式A使得A和﹁A都是形式定理。一个公式的集合具有协调性，是指没有公式A使得A和﹁A都能从这个集合中的公式形式地推出。