>>60
ω重シングルトンなるものは順序数じゃなかったの？順序数ならZFC内で構成可能だからそんな言い訳は通らないよ。