Similar to ゲーデルの加速定理
誤った数学的推論
Mathematical fallacy
カット除去定理
Cut-elimination theorem
圧縮定理
Compression theorem
ゲーデルの完全性定理
Gödel's completeness theorem
ゲーデルの不完全性定理
Gödel's incompleteness theorems
0
0
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8▼-1 trends
9
9
1200
1200 (number)
1868
12345679
証明論
Proof theory
カリー＝ハワード同型対応
Curry–Howard correspondence
緩成長階層
Slow-growing hierarchy
逆数学
Reverse mathematics急成長階層
Fast-growing hierarchy
シークエント
Sequent
自然演繹
Natural deduction
実現可能性 (論理学)
Realizability
証明可能性論理
Provability logic
初等関数算術
Elementary function arithmetic