Category:数理論理学
ラムダ計算
Lambda calculus
数理論理学
Mathematical logic無限
Infinity
数学基礎論
Foundations of mathematics
ゲーデルの完全性定理
Gödel's completeness theorem
証明論
Proof theory
古典論理
Classical logic
置換公理
Axiom schema of replacement原子論理式
Atomic formula
Μ再帰関数
General recursive function
カントールの往復論法
Back-and-forth method
空虚な真
Vacuous truthクレイグの補間定理
Craig interpolation
完全関係
Connected relation
形式体系
Formal system
並行制約プログラミング
Concurrent constraint logic programming
メタ理論
Metatheory
対角化定理
Diagonal lemma
逆数学
Reverse mathematics
超数学
Metamathematics
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm
部分構造論理
Substructural logic構成規則
Formation rule
関係の合成
Composition of relations
チューリングジャンプ
Turing jump
項書き換え
Rewriting
後者関数
Successor function
レーブの定理
Löb's theorem
