>>899
>超実数に拡張しても
>無限大超自然数nに対して
>たしかn未満の超自然数は非可算個あるから
それはメタ視点・体系内視点どっちの話をしている？
算術のモデルは無限モデル（有限なら後者関数の単射性公理と矛盾）だからメタ視点ではレーヴェンハイムスコーレムの定理により任意無限濃度のモデルを持つ。
一方体系内視点では自然数全体の集合は定義により可算。

>無限小を可算和で1にはできないのでは？
誰ができると言ったの？　てか君の言う可算和ってなに？