Similar to ルジンの分離定理
Fσ集合
Fσ set
Gδ集合
Gδ set
Perfect set property
Perfect set property
アッカーマン関数
Ackermann function
アリティ
Arity
カット除去定理
Cut-elimination theoremクレイグの補間定理
Craig interpolation
チャーチ・ロッサーの定理
Church–Rosser theorem
圧縮定理
Compression theorem
1+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
0
01
1▲1 trends
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9▼-1 trends
1048576
1048576
12345679
記述集合論
Descriptive set theory
カントール空間
Cantor space