Similar to ルジンの分離定理
Fσ集合
Fσ setGδ集合
Gδ setPerfect set property
Perfect set propertyアッカーマン関数
Ackermann functionアリティ
Arityカット除去定理
Cut-elimination theoremクレイグの補間定理
Craig interpolationチャーチ・ロッサーの定理
Church–Rosser theorem圧縮定理
Compression theorem1+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
Hundredth0
0▼-1 trends1
12
23
34
45
56
67
78
89
91048576
12345679
記述集合論
Descriptive set theoryカントール空間
Cantor space