Similar to 宇宙_(数学)
計算可能性理論
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時相論理
Temporal logic自動推論
Automated reasoning十分条件
Sufficient condition述語論理
Predicate logic証明論
Proof theory