>>467を否定するには、大小比較のできない自然数の存在を示さなければならない（＾＾
しかしさすがのスレ主でもそれは無理と分かってるので、次の屁理屈はこうなるだろう
「数列の決定番号を与える関数 h は存在しない」
確かに同値類も選択公理も分かってないスレ主ならそう言うかもね（＾＾

はい、屁理屈をどうぞ（＾＾
屁理屈も言えないならスレ閉じましょうね（＾＾