Similar to 吸収法則
グッドスタインの定理
Goodstein's theoremクヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithmクレイグの補間定理
Craig interpolation計算可能関数
Computable function計算可能性理論
Computability theory形式体系
Formal system形式の法則
Laws of Formゲーデル数
Gödel numbering▲1 trendsゲーデルの完全性定理
Gödel's completeness theoremゲーデルの不完全性定理
Gödel's incompleteness theorems▲1 trendsゲーム意味論
Game semantics決定可能性
Decidability (logic)原始再帰関数
Primitive recursive function原子論理式
Atomic formula高階述語論理
Higher-order logic項書き換え
Rewriting後者関数
Successor function恒真式
Tautology (logic)構成規則
Formation rule公理図式
Axiom schema合流性
Confluence (abstract rewriting)古典論理
Classical logic再帰
Recursion▼-1 trends再帰的定義
Recursive definition再帰理論
シークエント計算
Sequent calculus自己検証理論
Self-verifying theories自己認識論理
Autoepistemic logic