Similar to 自己検証理論
DPLLアルゴリズム
DPLL algorithmSmn定理
Smn theoremアルゴリズム
Algorithm▲1 trendsΜ再帰関数
General recursive function0
01
1▲6 trends2
23
34
45
56
67
78
89
912345679
心理主義
Psychologism推論役割意味論
Inferential role semantics数学の統一理論
Unifying theories in mathematics論理主義 (数学)
Logicism数理論理学
Mathematical logic一階述語論理
First-order logic一般と特殊 (数学)
Special case意味論 (論理学)
Semantics宇宙 (数学)
Universe (mathematics)エルブランの定理
Herbrand's theorem型理論
Type theoryカット除去定理
Cut-elimination theorem関係 (数学)
Finitary relation