Category:数理論理学
アルゴリズム
Algorithmゲーデルの不完全性定理
Gödel's incompleteness theorems無限
Infinity再帰
Recursion二階述語論理
Second-order logicモデル理論
Model theory数理論理学
Mathematical logicシークエント計算
Sequent calculusヒルベルト・プログラム
Hilbert's program帰納的可算集合
Computably enumerable set恒真式
Tautology (logic)ブーリアン型
Boolean data type決定可能性
Decidability (logic)クレイグの補間定理
Craig interpolationメレオロジー
Mereologyグッドスタインの定理
Goodstein's theorem真理関数
Truth functionゲーデル数
Gödel numbering一階述語論理
First-order logic命題関数
Propositional function矛盾許容論理
Paraconsistent logic空虚な真
Vacuous truth原子論理式
Atomic formula高階述語論理
Higher-order logicロッサーのからくり
Rosser's trick議論領域
Domain of discourse不動点コンビネータ
Fixed-point combinatorエルブランの定理
Herbrand's theorem