Similar to 型理論
0
01
12
23
34
45
56
67
78
89
9第1騎兵師団 (アメリカ軍)
1st Cavalry Division (United States)第6SS山岳師団
6th SS Mountain Division Nord第8SS騎兵師団
8th SS Cavalry Division Florian Geyer第12SS装甲師団
12th SS Panzer Division Hitlerjugend第13竜騎兵落下傘連隊 (フランス軍)
13th Parachute Dragoon Regiment第21SS武装山岳師団
21st Waffen Mountain Division of the SS Skanderbeg第101空挺師団 (アメリカ軍)
101st Airborne Division13
13 (number)19
19 (number)40
40 (number)70
70 (number)アッカーマン関数
Ackermann functionアリティ
Arityカット除去定理
Cut-elimination theorem議論領域
Domain of discourseクレイグの補間定理
Craig interpolation後者関数
Successor function恒真式
Tautology (logic)