Category:数理論理学
ラムダ計算
Lambda calculus無限
Infinity再帰
Recursion
型理論
Type theory
二階述語論理
Second-order logic一階述語論理
First-order logic
モデル理論
Model theory
神託機械
Oracle machine
ブーリアン型
Boolean data type
数学基礎論
Foundations of mathematics
プリンキピア・マテマティカ
Principia Mathematica
計算可能性理論
Computability theory
高階述語論理
Higher-order logic連言標準形
Conjunctive normal form
数理論理学
Mathematical logic
パースの法則
Peirce's law
線形時相論理
Linear temporal logic超現実数
Surreal number
強制法
Forcing (mathematics)
ヒルベルト・プログラム
Hilbert's program
エルブランの定理
Herbrand's theorem
形式体系
Formal system
タルスキの定義不可能性定理
Tarski's undefinability theorem
節標準形
公理図式
Axiom schema再帰的定義
Recursive definition
後者関数
Successor function
線形論理
Linear logic
