[FOM] surjection from S^2 onto Pow(S)

Harvey Friedman hmflogic at gmail.com
Mon Oct 1 14:53:22 EDT 2012

Does anybody have a reference to this statement?

ZF proves that the following are equivalent:

1. there is a surjective map from S x S onto its power set.
2. S has exactly two sets.

Harvey Friedman

More information about the FOM mailing list