Category:数理論理学
公理図式
Axiom schema
プリンキピア・マテマティカ
Principia Mathematica
負論理
Logic level
不動点コンビネータ
Fixed-point combinator
計算可能性理論
Computability theory原始再帰関数
Primitive recursive function
完全性
Completeness (logic)
線形論理
Linear logic
存在記号
Existential quantification
モデル理論
Model theory
型理論
Type theory
シークエント計算
Sequent calculus
恒真式
Tautology (logic)
ブーリアン型
Boolean data type
ブール代数
Boolean algebra (structure)
ゲーデルの不完全性定理
Gödel's incompleteness theorems一階述語論理
First-order logic
神託機械
Oracle machine再帰
Recursion無限
Infinity
アルゴリズム
Algorithm
