[集合論] Real Numbers その３（Jech本4章 p.40） .ind { margin-left: 2em; line-height: 2.0; } 今回のネタは定理4.6 (Cantor-Bendixson)『実数の中の任意の非加算な閉集合は，完全集合と高々可算な集合の和集合となる()．]』である．系として，定理4.5と…