>>852
>君、無限個の決定番号の集合の中に
>必ず最大値となる自然数が存在する
>と断言できる？
>
>で・き・な・い・よ・ね？
詳しいと思うので聞くが、その種の断言は超準解析で出来ることかい？