Category:数理論理学
矛盾許容論理
Paraconsistent logic
二階述語論理
Second-order logic
パースの法則
Peirce's law
型理論
Type theoryラムダ計算
Lambda calculus
空虚な真
Vacuous truth真理関数
Truth function
シークエント計算
Sequent calculus
線形時相論理
Linear temporal logic
超数学
Metamathematics
述語論理
Predicate logic
後者関数
Successor function
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm
逆数学
Reverse mathematics
再帰理論
原始再帰関数
Primitive recursive function
並行論理プログラミング
Concurrent logic programming原子論理式
Atomic formula
強制法
Forcing (mathematics)
ゲーデルの完全性定理
Gödel's completeness theorem
メタ論理学
Metalogic
存在記号
Existential quantification
合流性
Confluence (abstract rewriting)
証明論
Proof theory
カントールの往復論法
Back-and-forth method
デービス・パトナムのアルゴリズム
Davis–Putnam algorithm
対角化定理
Diagonal lemma
必要条件
Necessary condition