Similar to 自然演繹
タブローの方法
Method of analytic tableaux
誤った数学的推論
Mathematical fallacy
0
0
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
12345679
隠れ代数
Hidden algebra
関係論理
Relational calculus
シークエント計算
Sequent calculus
存在グラフ
Existential graph
証明論
Proof theory
カット除去定理
Cut-elimination theorem
カリー＝ハワード同型対応
Curry–Howard correspondence
緩成長階層
Slow-growing hierarchy
逆数学
Reverse mathematics急成長階層
Fast-growing hierarchy
ゲーデルの加速定理
Gödel's speed-up theorem
シークエント
Sequent
実現可能性 (論理学)
Realizability
証明可能性論理
Provability logic
初等関数算術
Elementary function arithmetic