17/09/28 21:21:12.13 J07n16UL.net
>>633
超実数は非標準的モデルにおける実数
>>634
＞「箱が・・，可算無限個ある.」の”可算無限個”・・・下記二通り可能だ
＞１．時枝の自然な解釈として、”可算無限個”：
＞箱に自然数Nで番号付けできる＝全単射の存在。
＞つまり、通常の自然数の範囲で考えるべし
＞２．なお別に、自然数N→無限大∞を加えた
＞拡張自然数N~で番号付けできるとすることもできる
２の解釈はできません。
箱入り無数目ではっきりと
「実数列の集合R^Nを考える」
と書かれており、
「実数列の集合R＾N~を考える」
とは書かれていないからです
この瞬間、「異数学」は焚殺されたのです
>>（注：標準的自然数と非標準的自然数の明確な境界は存在しない）
>明確に境界は存在するよ。
>それは、まず、定義するかどうかから始まるよ。
如何なる定義でも存在し得ません
証明して見せましょう
もし。明確な境界、つまり最小の非標準的自然数ｘが存在するとしましょう
このときｘ－１は標準的自然数となりますが、いかなる標準的自然数も
それに１を足したものは標準的自然数なので矛盾します