Category:数理論理学
自己認識論理
Autoepistemic logicブール領域
Boolean domainDPLLアルゴリズム
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