⑧(続き) 超準解析のεを使わない主な理由は、無限小×無限大＝1だから。 冪…

⑧(続き)
超準解析のεを使わない主な理由は、無限小×無限大＝1だから。

冪集合で定義するアレフnを使わないのは、アレフ0＝アレフ1＝アレフ2＝…アレフnが全て可算無限だから。「集合の要素の個数の合計」だと無限属性が1種類のみなので。
可算無限が1でなく0なのも難点。
(続く)