Category:数理論理学
存在記号
Existential quantificationラムダ計算
Lambda calculus
数学基礎論
Foundations of mathematics
逆数学
Reverse mathematics
メレオロジー
Mereology
反射関係
Reflexive relation
空虚な真
Vacuous truth
項書き換え
Rewriting
議論領域
Domain of discourse
メタ理論
Metatheory原子論理式
Atomic formula
カントールの往復論法
Back-and-forth methodクレイグの補間定理
Craig interpolation
完全関係
Connected relation
超数学
Metamathematics
保存拡大
Conservative extension
制約論理プログラミング
Constraint logic programming
十分条件
Sufficient condition
並行制約プログラミング
Concurrent constraint logic programming
自動推論
Automated reasoning
対角化定理
Diagonal lemma
記述計算量
Descriptive complexity theory
プリンキピア・マテマティカ
Principia Mathematica
カット除去定理
Cut-elimination theorem
マーティンの公理
Martin's axiom構成規則
Formation rule
関係の合成
Composition of relations
チューリングジャンプ
Turing jump