Similar to 再帰
Smn定理
Smn theorem
アルゴリズム
Algorithm
一般と特殊 (数学)
Special case
意味論 (論理学)
宇宙 (数学)
Universe (mathematics)
エルブランの定理
Herbrand's theorem
型理論
Type theory
カット除去定理
Cut-elimination theorem
関係 (数学)
Finitary relation
関係代数 (数学)
Relation algebra
関係の合成
Composition of relations
完全関係
Connected relation
完全性
Completeness (logic)
カントールの往復論法
Back-and-forth method
記述計算量
Descriptive complexity theory
逆関係
Converse relation
逆数学
Reverse mathematics
吸収法則
Absorption law
強制法
Forcing (mathematics)
ギルモアのアルゴリズム
議論領域
Domain of discourse
空虚な真
Vacuous truth▼-2 trends
グッドスタインの定理
Goodstein's theorem
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithmクレイグの補間定理
Craig interpolation
計算可能性理論
Computability theory
形式体系
Formal system
形式の法則
Laws of Form