>>612
> 自然数の集合Nは、無限公理が適用されて出来上がっていることを、
> お忘れでは?

それはスレ主の方でしょ

> 最初は、グーならぬ最初は空
>  だから空基準

無限公理適用でNがあるんだから空集合と{}だけではNは作れないし
逆にNから{}を順番に取り除いていっても空集合にはできない

{}の多重度で有限や無限を論ずるのならばNの濃度(= 可算無限)は
元の数に関してなので{}の多重度とは無関係
{}の多重度とは無関係に無限公理でNを導入すれば{}の多重度で測れるのは
ω, {ω}, {{ω}}, {{ω}}, ...
ω, ω+1, ω+2, ...
{}を順番に外すことではωより前には戻れない