Similar to カントールの往復論法
数理論理学
Mathematical logic
DPLLアルゴリズム
DPLL algorithm
Smn定理
Smn theorem
アルゴリズム
Algorithm
宇宙 (数学)
Universe (mathematics)
数学基礎論
Foundations of mathematics
ブラリ＝フォルティのパラドックス
Burali-Forti paradox
Μ再帰関数
General recursive function
モデル理論
Model theory
ZFCから独立な命題の一覧
List of statements independent of ZFC
Ω無矛盾
Ω-consistent theory
0
0
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
12345679
一階述語論理
First-order logic
一般と特殊 (数学)
Special case
意味論 (論理学)
エルブランの定理
Herbrand's theorem
型理論
Type theory
カット除去定理
Cut-elimination theorem