Similar to 証明論
2
2
3
3▼-1 trends
4
4
5
5
6
6
7
7
8
8
9
9
12345679
カリー＝ハワード同型対応
Curry–Howard correspondence
緩成長階層
Slow-growing hierarchy急成長階層
Fast-growing hierarchy
ゲーデルの加速定理
Gödel's speed-up theorem
シークエント
Sequent
自然演繹
Natural deduction
実現可能性 (論理学)
Realizability
証明可能性論理
Provability logic
チャーチ・クリーネ順序数
Nonrecursive ordinal
二重否定翻訳
Double-negation translation
数理論理学
Mathematical logic一階述語論理
First-order logic
一般と特殊 (数学)
Special case
意味論 (論理学)
Semantics
宇宙 (数学)
Universe (mathematics)
エルブランの定理
Herbrand's theorem
型理論
Type theory
関係 (数学)
Finitary relation
関係代数 (数学)
Relation algebra