箱入り無数目を語る部屋2

[過去ﾛｸﾞ] 箱入り無数目を語る部屋2 (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

853(2): 2022/08/12(金)10:25 ID:HEFC/Arc(2/7) AAS
>>852
>君、無限個の決定番号の集合の中に
>必ず最大値となる自然数が存在する
>と断言できる？
>
>で・き・な・い・よ・ね？
詳しいと思うので聞くが、その種の断言は超準解析で出来ることかい？

855: 2022/08/12(金)11:13 ID:eRdq+WGu(2/9) AAS
>>853
超準解析を語りたくて話をそっちに持っていこうとしているようだけどやめときな
大学1年の数学もロクに分かっていない君が語っても無意味だから

870: 2022/08/12(金)14:17 ID:8svXg+Uc(7/14) AAS
>>853
＞その種の断言は超準解析で出来ることかい？

超準解析使っても無限個の自然数の最大値なんか正当化できんよ
存在せんのだから