Category:数理論理学
タルスキの定義不可能性定理
Tarski's undefinability theorem
ハイティング代数
Heyting algebra
導出原理
Resolution (logic)
後者関数
Successor function
エルブランの定理
Herbrand's theorem
二階述語論理
Second-order logic
反射関係
Reflexive relation
自動推論
Automated reasoning
部分構造論理
Substructural logic
チューリング次数
Turing degree
線形時相論理
Linear temporal logic
構造的帰納法
Structural induction
完全性
Completeness (logic)真理関数
Truth function
デデキント数
Dedekind number
パリス＝ハーリントンの定理
Paris–Harrington theorem
Smn定理
Smn theorem
カントールの往復論法
Back-and-forth methodクレイグの補間定理
Craig interpolation
完全関係
Connected relation
帰納的可算集合
Computably enumerable set
証明論
Proof theory
高階述語論理
Higher-order logic
アルゴリズム
Algorithm
型理論
Type theory
パースの法則
Peirce's law
再帰理論
Μ再帰関数
General recursive function