Prove that has cardinality . Which axioms of ZFC are satified by ?
Here, for a given cardinal , denotes the collection of sets whose transitive closure has cardinality less than . Also, is defined by , , , if .
I do not have any good ideas on how to prove this. I would appreciate a few hints. Thanks.
Zermelo?Fraenkel set theory - Wikipedia, the free encyclopedia