Category:数理論理学
再帰
Recursion▲1 trends
ブール代数
Boolean algebra (structure)ラムダ計算
Lambda calculus無限
Infinity
ブーリアン型
Boolean data type
恒真式
Tautology (logic)
計算可能性理論
Computability theory
ヒルベルト・プログラム
Hilbert's program
数理論理学
Mathematical logic
数学基礎論
Foundations of mathematics
時相論理
Temporal logic矛盾許容論理
Paraconsistent logic一階述語論理
First-order logic
存在記号
Existential quantification
グッドスタインの定理
Goodstein's theorem
形式体系
Formal system連言標準形
Conjunctive normal form
吸収法則
Absorption law
プレスバーガー算術
Presburger arithmetic
モデル理論
Model theory
決定可能性
Decidability (logic)ゲーデル数
Gödel numbering超現実数
Surreal number
強制法
Forcing (mathematics)
述語論理
Predicate logic
ブール関数
Boolean function
逆数学
Reverse mathematics
シークエント計算
Sequent calculus
