Similar to 緩成長階層
4
45
56
67
78
89
91093
1093 (number)1349
1349 (band)1680
1048576
12345679
証明論
Proof theoryカリー=ハワード同型対応
Curry–Howard correspondence逆数学
Reverse mathematicsゲーデルの加速定理
Gödel's speed-up theoremシークエント
Sequent自然演繹
Natural deduction実現可能性 (論理学)
Realizability証明可能性論理
Provability logic初等関数算術
Elementary function arithmeticチャーチ・クリーネ順序数
Nonrecursive ordinal保存拡大
Conservative extension計算可能性理論
Computability theory計算可能数
Computable numberELEMENTARY
ELEMENTARY帰納的集合
Computable set極限計算可能関数
Computation in the limitクリーネの再帰定理
Kleene's recursion theorem