Category:数理論理学
自己認識論理
Autoepistemic logic
ブール領域
Boolean domain
DPLLアルゴリズム
DPLL algorithm
後者関数
Successor function
形式体系
Formal system
モデル理論
Model theory有限モデル理論
Finite model theory
定義可能集合
Definable set
デデキント数
Dedekind number
公理図式
Axiom schema
マーティンの公理
Martin's axiom
議論領域
Domain of discourse
十分条件
Sufficient condition
ゲーム意味論
Game semantics
保存拡大
Conservative extension再帰
Recursion
タルスキの定義不可能性定理
Tarski's undefinability theorem
ハルモス代数
Polyadic algebra
フーリエ・モツキンの消去法
Fourier–Motzkin elimination
ブール値関数
Boolean-valued functionハイティング代数
Heyting algebra
負論理
Logic levelゲーデル数
Gödel numbering
完全関係
Connected relation
グッドスタインの定理
Goodstein's theorem
線形時相論理
Linear temporal logic
自己検証理論
Self-verifying theories
帰納言語
Recursive language