Similar to ヒルベルト・プログラム
計算可能性理論
Computability theory
形式体系
Formal system
形式の法則
Laws of Formゲーデル数
Gödel numbering
ゲーム意味論
Game semantics
決定可能性
Decidability (logic)原始再帰関数
Primitive recursive function原子論理式
Atomic formula
高階述語論理
Higher-order logic
項書き換え
Rewriting
後者関数
Successor function
恒真式
Tautology (logic)構成規則
Formation rule
構造的帰納法
Structural induction
公理図式
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