For a given cardinal , denotes the collection of sets whose transitive closure has cardinality less than . Prove that has cardinality . Which axioms of ZFC are satisfied by ?
I am confused on how to prove this. I would appreciate some help on this problem. Thanks.
Zermelo?Fraenkel set theory - Wikipedia, the free encyclopedia