>>608
long linewikipediaの定義の第一の方法、すなわちord×[0,1)に辞書式順序入れたときの順序位相で定めたものとし、γを最初の非可算順序数(アレフ1)とすると(γ0)が可算な近傍基を持てない、すなわち第二可算ではない