Similar to 二階述語論理
帰納言語
Recursive language帰納的可算言語
Recursively enumerable language帰納的可算集合
Computably enumerable set逆関係
Converse relation逆数学
Reverse mathematics吸収法則
Absorption law強制法
Forcing (mathematics)ギルモアのアルゴリズム
空虚な真
Vacuous truthグッドスタインの定理
Goodstein's theoremクヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithmクレイグの補間定理
Craig interpolation計算可能関数
Computable function計算可能性理論
Computability theory形式体系
Formal system形式の法則
Laws of Formゲーデル数
Gödel numberingゲーデルの完全性定理
Gödel's completeness theoremゲーデルの不完全性定理
Gödel's incompleteness theorems▲1 trendsゲーム意味論
Game semantics決定可能性
Decidability (logic)原始再帰関数
Primitive recursive function項書き換え
Rewriting後者関数
Successor function恒真式
Tautology (logic)構成規則
Formation rule構造的帰納法
Structural induction公理型
Axiom schema