Category:数理論理学
逆数学
Reverse mathematics
計算可能性理論
Computability theory
恒真式
Tautology (logic)
導出原理
Resolution (logic)原始再帰関数
Primitive recursive function
証明論
Proof theory
時相論理
Temporal logic超現実数
Surreal number
グッドスタインの定理
Goodstein's theorem再帰的定義
Recursive definition
高階述語論理
Higher-order logic
古典論理
Classical logic
超数学
Metamathematics
エルブランの定理
Herbrand's theorem
置換公理
Axiom schema of replacement
合流性
Confluence (abstract rewriting)
後者関数
Successor function
カントールの往復論法
Back-and-forth method
ブラリ＝フォルティのパラドックス
Burali-Forti paradox
推移関係
Transitive relation
有限モデル理論
Finite model theory
有限演算
Finitary矛盾許容論理
Paraconsistent logic
チューリング次数
Turing degree
ブール領域
Boolean domain
完全関係
Connected relation
線形時相論理
Linear temporal logic
構造的帰納法
Structural induction