0609132人目の素数さん垢版 | 大砲2021/03/11(木) 11:08:19.55ID:/hJkn62P >>608 long linewikipediaの定義の第一の方法、すなわちord×[0,1)に辞書式順序入れたときの順序位相で定めたものとし、γを最初の非可算順序数(アレフ1)とすると(γ0)が可算な近傍基を持てない、すなわち第二可算ではない