Is it possible to prove within ZF(C) that the set of all proper infinite subsets

Is it possible to prove within ZF(C) that the set of all proper infinite subsets

Is it possible to prove within ZF(C) that the set of all proper infinite subsets of set N has cardinality that is strictly greater than |N|?

Read another response by Daniel J. Velleman
Read another response about Logic
Print