Category:数理論理学
グッドスタインの定理
Goodstein's theorem
Μ再帰関数
General recursive function
シークエント計算
Sequent calculus
神託機械
Oracle machine
決定可能性
Decidability (logic)
空虚な真
Vacuous truth
不動点コンビネータ
Fixed-point combinator
完全性
Completeness (logic)
カット除去定理
Cut-elimination theorem
反射関係
Reflexive relation
対称関係
Symmetric relation
再帰理論
構造的帰納法
Structural induction
合流性
Confluence (abstract rewriting)
パリス＝ハーリントンの定理
Paris–Harrington theorem
プレスバーガー算術
Presburger arithmetic
チューリング次数
Turing degree
カントールの往復論法
Back-and-forth method
デービス・パトナムのアルゴリズム
Davis–Putnam algorithm
DPLLアルゴリズム
DPLL algorithm
帰納言語
Recursive language
制約論理プログラミング
Constraint logic programming
ススリンの問題
Suslin's problem
デデキント数
Dedekind number
有限モデル理論
Finite model theory
計算可能関数
Computable function
超数学
Metamathematics初等同値性
Elementary equivalence
