APP 協(xié)調(diào)性
亦稱“相容性”、“（古典的）一致性”、“無矛盾性”。數(shù)理邏輯中形式系統(tǒng)的重要性質(zhì)。指沒有公式A使得A和﹁A都是形式定理。一個公式的集合具有協(xié)調(diào)性，是指沒有公式A使得A和﹁A都能從這個集合中的公式形式地推出。
海量資源，盡在掌握
協(xié)調(diào)性
亦稱“相容性”、“（古典的）一致性”、“無矛盾性”。數(shù)理邏輯中形式系統(tǒng)的重要性質(zhì)。指沒有公式A使得A和﹁A都是形式定理。一個公式的集合具有協(xié)調(diào)性，是指沒有公式A使得A和﹁A都能從這個集合中的公式形式地推出。
