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.

Link:

Zermelo?Fraenkel set theory - Wikipedia, the free encyclopedia