Category:数理論理学
アルゴリズム
Algorithm▲1 trends
ゲーデルの不完全性定理
Gödel's incompleteness theorems▲1 trendsゲーデル数
Gödel numbering▲1 trends
ブール代数
Boolean algebra (structure)
プリンキピア・マテマティカ
Principia Mathematica
二階述語論理
Second-order logic連言標準形
Conjunctive normal form無限
Infinity
形式体系
Formal system
ブーリアン型
Boolean data type
超数学
Metamathematics
空虚な真
Vacuous truth
無限論理
Infinitary logic
メタ理論
Metatheory
型理論
Type theory
負論理
Logic level
神託機械
Oracle machine
カット除去定理
Cut-elimination theorem
線形時相論理
Linear temporal logic
推移関係
Transitive relation
逆数学
Reverse mathematics
保存拡大
Conservative extension
論理プログラミング
Logic programming原子論理式
Atomic formula
恒真式
Tautology (logic)
ブール関数
Boolean function
DPLLアルゴリズム
DPLL algorithm
証明論
Proof theory
