[FOM] Seeking a citation for ZF[0]

Colin McLarty colin.mclarty at case.edu
Wed Jul 25 09:11:34 EDT 2012

Is there a good citation for a proof that ZF[0] (which is Zermelo
Fraenkel without the power set axiom) proves every set has a set of
all its finite subsets?

thanks, Colin

More information about the FOM mailing list