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