Check out RSS, or use RSS reader to subscribe this item
Confirmation
Authentication email has already been sent, please check your email box: and activate it as soon as possible.
You can login to My Profile and manage your email alerts.
Sponsored by the Center for Science and Technology Development of the Ministry of Education
Supervised by Ministry of Education of the People's Republic of China
the bounded variable is presented and the axioms of ZF are studied one by one. In which, the formula of empty set is written as (x∈e) = {e} for any x according to the analyze-ability of set and dialectical relations on propositions. Meanwhile, it is analyzed that four propositions are related to the empty set. Furthermore, the expressions and the arithmeticization formulae of axioms of ZF are showed at the paper. As regards the axiom of infinity the limit of set to vary and the bounded infinity is introduced into discussion and analytical representations of ordinals are given from the analyze-ability of set. Obviously, the analytical theory of sets is stronger than ZF, and it is consistent and compatible with ZF.
Keywords:axioms of ZF; empty set; relation on sets; bounded variable; limt of set; ordinals; well-founded set; singular set