Category:数理論理学
計算可能関数
Computable function
ハルモス代数
Polyadic algebra
必要条件
Necessary condition
フーリエ・モツキンの消去法
Fourier–Motzkin elimination
超数学
Metamathematics
マーティンの公理
Martin's axiom
有限モデル理論
Finite model theory無限論理
Infinitary logic
議論領域
Domain of discourse
逆関係
Converse relation
ロッサーのからくり
Rosser's trick
合流性
Confluence (abstract rewriting)十分条件
Sufficient condition
証明論
Proof theory
自己検証理論
Self-verifying theories
完全関係
Connected relation
DPLLアルゴリズム
DPLL algorithm
制約論理プログラミング
Constraint logic programming
チューリング次数
Turing degree
部分構造論理
Substructural logic原子論理式
Atomic formula
記述計算量
Descriptive complexity theory
後者関数
Successor function
節標準形
Smn定理
Smn theorem
吸収法則
Absorption law
命題関数
Propositional function
タルスキの定義不可能性定理
Tarski's undefinability theorem