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