>>98
対角線論法は、可算整列ができないと
使えないのでは?

選択公理 vs 整列可能定理
と同様に
可算選択公理 vs 可算整列可能定理
となると思うが

対角線論法は
可算整列を使うよね