Similar to 逆数学
クヌース・ベンディックス完備化アルゴリズム
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
構造的帰納法
Structural induction
公理図式
Axiom schema
合流性
Confluence (abstract rewriting)
古典論理
Classical logic再帰
Recursion▼-1 trends再帰的定義
Recursive definition
シークエント計算
Sequent calculus
自己検証理論
Self-verifying theories
自己認識論理
Autoepistemic logic
時相論理
Temporal logic