Category:数理論理学
ゲーデルの不完全性定理
Gödel's incompleteness theorems一階述語論理
First-order logic
シークエント計算
Sequent calculus
ゲーデルの完全性定理
Gödel's completeness theorem
型理論
Type theory
二階述語論理
Second-order logic
強制法
Forcing (mathematics)
再帰理論
ラムダ計算
Lambda calculus
神託機械
Oracle machine
高階述語論理
Higher-order logic
超数学
Metamathematics
証明論
Proof theoryゲーデル数
Gödel numbering
モデル理論
Model theory
数学基礎論
Foundations of mathematics
ハイティング代数
Heyting algebra
推移関係
Transitive relation
カット除去定理
Cut-elimination theorem
ブラリ＝フォルティのパラドックス
Burali-Forti paradox
計算可能関数
Computable function
古典論理
Classical logic
不動点コンビネータ
Fixed-point combinator
線形論理
Linear logic連言標準形
Conjunctive normal form
完全性
Completeness (logic)
論理プログラミング
Logic programming
ブーリアン型
Boolean data type