>>380-382
>存在しない神を持ち出しても無意味

ま、あれだな
カントールの無限とか
超準の無限大みたいな

要するに ωを仮定することで
自然数Nをコンパクト化する
そうすると 議論がシンプルになるよ