Similar to 帰納的可算集合
グッドスタインの定理
Goodstein's theoremクヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithmクレイグの補間定理
Craig interpolation計算可能性理論
Computability theory形式体系
Formal system形式の法則
Laws of Formゲーデルの完全性定理
Gödel's completeness theoremゲーデルの不完全性定理
Gödel's incompleteness theoremsゲーム意味論
Game semantics決定可能性
Decidability (logic)原子論理式
Atomic formula高階述語論理
Higher-order logic後者関数
Successor function恒真式
Tautology (logic)構成規則
Formation rule構造主義 (数学の哲学)
Structuralism (philosophy of mathematics)構造的帰納法
Structural induction公理図式
Axiom schema古典論理
Classical logic再帰的定義
Recursive definition再帰理論
シークエント計算
Sequent calculus自己検証理論
Self-verifying theories自己認識論理
Autoepistemic logic時相論理
Temporal logic自動推論
Automated reasoning十分条件
Sufficient condition証明論
Proof theory