Category:数理論理学
ラムダ計算
Lambda calculus
数学基礎論
Foundations of mathematics
存在記号
Existential quantification
数理論理学
Mathematical logic
逆数学
Reverse mathematics
プリンキピア・マテマティカ
Principia Mathematica
空虚な真
Vacuous truth
メレオロジー
Mereology
反射関係
Reflexive relation
項書き換え
Rewriting
メタ理論
Metatheory原子論理式
Atomic formula
ゲーデルの完全性定理
Gödel's completeness theorem
カントールの往復論法
Back-and-forth methodクレイグの補間定理
Craig interpolation
完全関係
Connected relation
保存拡大
Conservative extension
議論領域
Domain of discourse
公理図式
Axiom schema
超数学
Metamathematics
マーティンの公理
Martin's axiom
対角化定理
Diagonal lemma
記述計算量
Descriptive complexity theory
十分条件
Sufficient condition
並行制約プログラミング
Concurrent constraint logic programming
制約論理プログラミング
Constraint logic programming
置換公理
Axiom schema of replacement
ブール値関数
Boolean-valued function