Category:数理論理学
カット除去定理
Cut-elimination theorem
対角化定理
Diagonal lemma
節標準形
論理プログラミング
Logic programming
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm
ブール値関数
Boolean-valued function
マーティンの公理
Martin's axiom再帰的定義
Recursive definition
項書き換え
Rewriting
メレオロジー
Mereology
ゲーム意味論
Game semantics
線形論理
Linear logic
古典論理
Classical logic
プリンキピア・マテマティカ
Principia Mathematica
神託機械
Oracle machine
ゲーデルの完全性定理
Gödel's completeness theorem
不動点コンビネータ
Fixed-point combinator
ゲーデルの不完全性定理
Gödel's incompleteness theorems
置換公理
Axiom schema of replacement
計算可能関数
Computable function
空虚な真
Vacuous truth▼-1 trends