Category:数理論理学
ラムダ計算
Lambda calculus
述語論理
Predicate logic
線形論理
Linear logic超現実数
Surreal number
推移関係
Transitive relation
ブラリ＝フォルティのパラドックス
Burali-Forti paradoxゲーデル数
Gödel numbering
帰納的可算言語
Recursively enumerable language
決定可能性
Decidability (logic)
逆数学
Reverse mathematics
パースの法則
Peirce's law
ススリンの問題
Suslin's problem
帰納的可算集合
Computably enumerable set
項書き換え
Rewriting
ヒルベルト・プログラム
Hilbert's program
グッドスタインの定理
Goodstein's theorem
Μ再帰関数
General recursive function
カントールの往復論法
Back-and-forth method
帰納言語
Recursive language
メレオロジー
Mereology
有限演算
Finitary
DPLLアルゴリズム
DPLL algorithm
強制法
Forcing (mathematics)初等同値性
Elementary equivalence
命題関数
Propositional function
マーティンの公理
Martin's axiom
保存拡大
Conservative extension
ブール領域
Boolean domain
