Similar to 型理論
0
0
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
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 Division
13
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)
