Category:数理論理学
ブラリ＝フォルティのパラドックス
Burali-Forti paradox
反射関係
Reflexive relationゲーデル数
Gödel numbering
存在記号
Existential quantification原始再帰関数
Primitive recursive function
項書き換え
Rewriting
線形論理
Linear logic
決定可能性
Decidability (logic)
プリンキピア・マテマティカ
Principia Mathematica
エルブランの定理
Herbrand's theorem
数理論理学
Mathematical logic
数学基礎論
Foundations of mathematics
プレスバーガー算術
Presburger arithmetic
時相論理
Temporal logic
ブーリアン型
Boolean data type無限
Infinityラムダ計算
Lambda calculus
ブール代数
Boolean algebra (structure)再帰
Recursion
ゲーデルの不完全性定理
Gödel's incompleteness theorems
アルゴリズム
Algorithm
