Category:数理論理学
形式体系
Formal system
神託機械
Oracle machine
ヒルベルト・プログラム
Hilbert's program
Μ再帰関数
General recursive function
計算可能性理論
Computability theory超現実数
Surreal number
再帰理論
矛盾許容論理
Paraconsistent logic
シークエント計算
Sequent calculus
計算可能関数
Computable function
カット除去定理
Cut-elimination theorem
デデキント数
Dedekind number
推移関係
Transitive relation
不動点コンビネータ
Fixed-point combinator
超数学
Metamathematics
カントールの往復論法
Back-and-forth method
証明論
Proof theory
合流性
Confluence (abstract rewriting)
高階述語論理
Higher-order logic
有限モデル理論
Finite model theory
空虚な真
Vacuous truth
ロッサーのからくり
Rosser's trick
パリス＝ハーリントンの定理
Paris–Harrington theorem
レーブの定理
Löb's theorem
完全関係
Connected relation
並行制約プログラミング
Concurrent constraint logic programming
十分条件
Sufficient condition初等同値性
Elementary equivalence
