Similar to ゲーデル数
帰納的可算集合
Computably enumerable set計算可能関数
Computable function原始再帰関数
Primitive recursive function項書き換え
Rewriting合流性
Confluence (abstract rewriting)再帰
Recursion▲1 trends述語論理
Predicate logic数学基礎論
Foundations of mathematics不動点コンビネータ
Fixed-point combinatorDPLLアルゴリズム
DPLL algorithmSmn定理
Smn theoremアルゴリズム
Algorithmゲーデルの完全性定理
Gödel's completeness theoremゲーデルの不完全性定理
Gödel's incompleteness theorems再帰理論
ギアリング級駆逐艦
Gearing-class destroyerデアリング級駆逐艦
Daring-class destroyer (1949)バトル級駆逐艦
Battle-class destroyer第1軍 (アメリカ軍)
First Army (United States)コルグ・01/Wシリーズ
Korg 01/W第12SS装甲師団
12th SS Panzer Division Hitlerjugend第18空挺軍団 (アメリカ軍)
XVIII Airborne Corps第7SS義勇山岳師団
7th SS Volunteer Mountain Division Prinz Eugen1000年
AD 100010月政変
1993 Russian constitutional crisis第10SS装甲師団
10th SS Panzer Division Frundsberg10世紀
10th century10セント硬貨 (アメリカ合衆国)
Dime (United States coin)