Canonical form of Tarski sets in Zermelo-Fraenkel set theory

摘要

We establish the equivalence of the notions of an inaccessible cumulative set and uncountable Tarski set. In addition, the equivalence of these notions and that of a galactic set is proved.