Similar to 無矛盾
0
0
1
1▼-3 trends
2
2
3
3▼-1 trends
4
4
5
5
6
6
7
7
8
8
9
9
全称記号
Universal quantification
ダウンタック記号
Tee (symbol)
アッカーマン関数
Ackermann function
アリティ
Arity
ZFCから独立な命題の一覧
List of statements independent of ZFC
Ω無矛盾
Ω-consistent theory1+1+1+1+…
1 + 1 + 1 + 1 + ⋯
1/2 + 1/4 + 1/8 + 1/16 + ⋯
1/2 + 1/4 + 1/8 + 1/16 + ⋯1/2 − 1/4 + 1/8 − 1/16 + ⋯
1/2 − 1/4 + 1/8 − 1/16 + ⋯1/4 + 1/16 + 1/64 + 1/256 + ⋯
1/4 + 1/16 + 1/64 + 1/256 + ⋯
1/100
Hundredth
Axiom (数式処理システム)
Axiom (computer algebra system)
CR多様体
CR manifold
第1騎兵師団 (アメリカ軍)
1st Cavalry Division (United States)
第4SS警察装甲擲弾兵師団
4th SS Polizei Panzergrenadier Division
第6SS山岳師団
6th SS Mountain Division Nord第8SS騎兵師団
8th SS Cavalry Division Florian Geyer
第12SS装甲師団
12th SS Panzer Division Hitlerjugend