一致性 (邏輯)

維基百科，自由的百科全書

此條目沒有列出任何參考或來源。 (2022年4月18日)
維基百科所有的內容都應該可供查證。請協助補充可靠來源以改善這篇條目。無法查證的內容可能會因為異議提出而被移除。

邏輯上，一致性（consistency）、相容性、自洽性，是指一個形式系統中不蘊涵矛盾。

所謂的矛盾有二種解讀方式：

語義上：當一個命題S是由許多命題組成時，如果所有命題可同時為真，則S是一致的，否則S是不一致的。
語法上：公理系統不能推導出兩個相反的結果。亦即不存在命題P，使得P→Q和P→~Q同時成立。

參見

外部連結

查看維基詞典中的詞條「一致性」。

Mortensen, Chris. Inconsistent Mathematics. Stanford Encyclopedia of Philosophy. 2017 [2022-10-09]. （原始內容存檔於2022-12-05）.

基本概念

定理
（列表（英語：Category:Theorems in the foundations of mathematics）及悖論（英語：Paradoxes of set theory））

傳統邏輯	邏輯真理恆真式命題推理邏輯等價一致性相同一致性（英語：Equiconsistency）邏輯論證可靠性定理有效性直言三段論對立四邊形文氏圖
命題邏輯	邏輯代數布爾函數邏輯運算符命題邏輯命題公式真值表多值邏輯三值有限值（英語：Finite-valued logic）無限值（英語：Infinite-valued logic）
經典邏輯	經典邏輯一階邏輯二階邏輯一元（英語：Monadic second-order logic）高階邏輯自由邏輯量化謂詞（英語：Predicate (mathematical logic)）一元謂詞演算

集合遺傳集（英語：Hereditary set）類（基本）元素有序對序數子集相等外延性力迫關係等價關係集合劃分集合運算交集併集補集笛卡兒積冪集同一性（英語：List of set identities and relations）
集合種類	可數集不可數集空集居集（英語：Inhabited set）單元素集合有限集合無限集合傳遞集合超濾子（英語：Ultrafilter (set theory)）遞歸集合模糊集全集可構造全集（英語：Constructible universe）格倫迪克全集（英語：Grothendieck universe）馮·諾伊曼全集
映射與勢	函數、映射定義域到達域像單射、滿射、雙射康托爾-伯恩斯坦-施羅德定理同構哥德爾數列舉法大基數不可達基數阿列夫數運算二元運算
集合理論	策梅洛-弗蘭克爾 (ZFC) 選擇公理連續統假設廣義集合論 (GST)（英語：General set theory）克里普克-普拉克 (KP)（英語：Kripke–Platek set theory）莫爾斯-凱利集合論 (MK)（英語：Morse–Kelley set theory）樸素集合論新基礎集合論塔斯基-格羅滕迪克 (TG)（英語：Tarski–Grothendieck set theory）馮·諾伊曼-博內斯-哥德爾 (NBG) 建構式集合論（英語：Constructive set theory）

句法（英語：Syntax (logic)）及語言

字母表
元數
自動機理論
公理模式
表達式
- 基礎表達式（英語：Ground expression）
擴展（英語：Extension by new constant and function names）
關係
形式
- 文法
- 語言
- 證明
- 系統
- 理論
形成規則（英語：Formation rule）
合式公式
- 原子公式
- 封閉式
- 基本式（英語：Ground formula）
- 開放式
自由變量和約束變量
元語言
邏輯運算符
- ¬
- ∨
- ∧
- →
- ↔
- 邏輯相等（英語：Logical equality）
謂詞（英語：Predicate (mathematical logic)）
- 泛函謂詞
- 謂詞變量
- 命題變量
量化
- ∃
- !
- ∀
- 級別（英語：Quantifier rank）
句子
- 原子句子
邏輯簽名（英語：Signature (logic)）
字符串
替換法（英語：Substitution (logic)）
邏輯符號
- 函數符號
- 邏輯常量（英語：Logical constant）
- 非邏輯符號（英語：Non-logical symbol）
- 變數
邏輯術語（英語：Term (logic)）

公理系統示例
（列表（英語：List of first-order theories））

實算術（英語：True arithmetic）
- 皮亞諾公理
- 二階（英語：Second-order arithmetic）
- 初等函數（英語：Elementary function arithmetic）
- 原始遞歸（英語：Primitive recursive arithmetic）
- 羅賓遜算術（英語：Robinson arithmetic）
- 斯科勒姆算術（英語：Skolem arithmetic）
實數的構造
- 塔爾斯基公理化（英語：Tarski's axiomatization of the reals）
布爾代數
- 正則定義（英語：Boolean algebras canonically defined）
- 最小公理（英語：Minimal axioms for Boolean algebra）
幾何（英語：Foundations of geometry）
- 歐幾里得幾何
- 《原本》
- 希爾伯特公理
- 非歐幾里得幾何
- 塔爾斯基公理（英語：Tarski's axioms）
《數學原理》

形式證明
自然演繹
蘊涵
推理規則
相繼式演算
定理
系統
- 形式
- 公理
- 演繹
- 希爾伯特演繹系統
  - 列表（英語：List of Hilbert systems）
完備理論（英語：Complete theory）
ZFC系統的獨立性（英語：Independence (mathematical logic)）
- 列表
不可能證明（英語：Proof of impossibility）
序數分析（英語：Ordinal analysis）
逆數學
自恰理論（英語：Self-verifying theories）

解釋
結構
- 初等等價
- 有限模型（英語：Finite model theory）
- 飽和模型
- 子結構
非標準模型
- 算術（英語：Non-standard model of arithmetic）
結構圖（英語：Diagram (mathematical logic)）
- 基本圖（英語：Elementary diagram）
分類理論（英語：Categorical theory）
完備模型論（英語：Model complete theory）
可滿足性（英語：Satisfiability）
邏輯語義學
強度（英語：Strength (mathematical logic)）
真理
T-模式
轉移原則（英語：Transfer principle）
真理謂詞（英語：Truth predicate）
真值
型
超積
有效性

可計算性理論

邱奇數
邱奇-圖靈論題
遞歸可枚舉集合
可計算函數
遞歸集合
決定性問題
- 可決定性（英語：Decidability (logic)）
- 不可決定性
- P
- NP
- P/NP問題
柯氏複雜性
Λ演算
原始遞歸函數
遞歸
遞歸集合
圖靈機
類型論

其他相關

抽象邏輯（英語：Abstract logic）
範疇論
具象範疇、抽象範疇
集合範疇
邏輯史
數理邏輯
- 歷史年表（英語：Timeline of mathematical logic）
邏輯主義
數學對象
數學哲學
超任務（英語：Supertask）

數學主題

Metalogic（英語：Metalogic）
元數學

康托爾定理
可判定性
邱奇-圖靈論題
一致性
有效方法（英語：Effective method）
數學基礎
- 幾何學基礎（英語：Foundations of geometry）
哥德爾完備性定理
哥德爾不完備定理
可靠性定理
完備性 (邏輯)（英語：Completeness (logic)）
可判定性 (邏輯)（英語：Decidability (logic)）
解釋
勒文海姆–斯科倫定理
元理論（英語：Metatheorem）
可滿足性（英語：Satisfiability）
獨立性 (數理邏輯)
類型和個例的區別
使用-提及區別

這是一篇關於數學的小作品。您可以透過編輯或修訂擴充其內容。

取自 "https://zh.wikipedia.org/w/index.php?title=一致性_(邏輯)&oldid=76863393"

分類：

數理邏輯

隱藏分類：