「完全性」の版間の差分
削除された内容 追加された内容
m編集の要約なし |
Logic arithmetic 2 (会話 | 投稿記録) 編集の要約なし |
||
1行目:
[[数学]]、[[論理学]]における'''完全性'''には二つの意味がある。
#[[形式論理]]体系で恒真である命題が必ず証明できる性質
#形式論理体系で表現可能な任意の文の肯定または否定が証明できる性質
[[クルト・ゲーデル|ゲーデル]]は完全性定理によって、無矛盾な一階述語論理における理論が前者の意味で完全であることを証明した。有名な[[ゲーデルの不完全性定理|不完全性定理]]は、
[[Category:数理論理学|かんせんせい]]
| |||