Category:数理論理学
神託機械
Oracle machine
形式体系
Formal system
再帰理論
ヒルベルト・プログラム
Hilbert's program
Μ再帰関数
General recursive function超現実数
Surreal number
計算可能性理論
Computability theory
シークエント計算
Sequent calculus一階述語論理
First-order logic
計算可能関数
Computable function
推移関係
Transitive relation
不動点コンビネータ
Fixed-point combinator矛盾許容論理
Paraconsistent logic
超数学
Metamathematics
論理プログラミング
Logic programming
デデキント数
Dedekind number
述語論理
Predicate logic
カット除去定理
Cut-elimination theorem
ススリンの問題
Suslin's problem
空虚な真
Vacuous truth
カントールの往復論法
Back-and-forth method
有限モデル理論
Finite model theory
ロッサーのからくり
Rosser's trick
証明論
Proof theory
型理論
Type theory
チューリング次数
Turing degree
高階述語論理
Higher-order logic
並行制約プログラミング
Concurrent constraint logic programming