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