Similar to 公理図式
DPLLアルゴリズム
DPLL algorithm
Smn定理
Smn theorem
アルゴリズム
Algorithm
形式体系
Formal system構成規則
Formation rule
証明論
Proof theory
置換公理
Axiom schema of replacement
Μ再帰関数
General recursive function
メタ論理学
Metalogic
モデル理論
Model theoryラムダ計算
Lambda calculus
レーブの定理
Löb's theorem
公理
Axiom
0
0▼-1 trends
1
1▲1 trends
2
2
3
3
4
4
5
5
6
6▼-1 trends
7
7
8
8
9
9
12345679
数理論理学
Mathematical logic一階述語論理
First-order logic
一般と特殊 (数学)
Special case
意味論 (論理学)