19/10/08 00:39:42.53 86YyLDZA.net
>>206
> (引用開始)
> じゃあ、それ、通常の自然数で、N⊂E かつ N≠Eですね
> つまり、EはNに対して、真に大きい
> つまり、EはNに対して、余分な元を含む
認められるのはここまでです。
> つまり、Nは全ての有限の元を含むので、
Nが全ての有限集合を含むわけないでしょ？
しかし
>任意ｎの空集合Φに対する後者関数による{}多重の集合 {・・{Φ}・・}（n回{}多重）を含むので、それ以外の余分な元を含む
多分これはEが>>192で定めたZ(n)を全て