>>403
いや君が勘違いしてるようにしか見えないけど、

>>383の「0からはじめてより大きな順序数をその都度選ぶというプロセスを続けること」てあるけど、これ意味なしてないよね