An .-Hierarchy of Axiom System ZF

Authors
Jinwen, Zhang
Citation
Jinwen, Zhang, An .-Hierarchy of Axiom System ZF, Acta Mathematica Sinica, New Series Chinese Journal of Mathematics, 6(2), 1990, pp. 189-192
Journal title
Acta Mathematica Sinica, New Series Chinese Journal of Mathematics → ACNP
ISSN journal
10009574
Volume
6
Issue
2
Year of publication
1990
Pages
189 - 192
Database
ACNP
SICI code
Abstract
In this paper we develop a sequence Z. ,...,Zn (n..) of axiom systems for set theory.such that (1) the consistency of any system within the sequence is provable in its succeeding systems. (2) the first system in the sequence is Zermelo's system Z and the union of all systems in the sequence is just ZF.