On 9 Jan., 21:45, Virgil <vir...@ligriv.com> wrote:
> But there are always more subsets of a set than members of that set, so > the set of all subsets of a countably infinite set like N will be of > greater cardinality than N itself. > --
But it does not exist - like the power set of the set of all sets. Yes, there is an axiom. But it is of same value as the axiom that there is a set of all sets or the axiom that there is a set of natural numbers with cardinality 10 and sum 10.