Similar to Ω無矛盾
ZFCから独立な命題の一覧
List of statements independent of ZFC
0
0
1
1
2
2
3
3▲1 trends
4
4
5
5
6
6
7
7
8
8
9
9
12345679
自然数論
ゲーデルの不完全性定理
Gödel's incompleteness theorems
数学的帰納法
Mathematical induction
パリス＝ハーリントンの定理
Paris–Harrington theorem
モデル理論
Model theory
数学基礎論
Foundations of mathematics
計算理論
Theory of computation
宇宙 (数学)
Universe (mathematics)
カントールの往復論法
Back-and-forth method
幾何学基礎論
Foundations of geometry
形式主義 (数学)
Formalism (philosophy of mathematics)
公理
Axiomコンパクト性定理
Compactness theorem
自己言及のパラドックス
Liar paradox
集合論
Set theory
充足可能性問題
Boolean satisfiability problem