caa a22 4500 465811655 CHVBK 20180323112117.0 cr unu---uuuuu 170327e19900601xx s 000 0 eng 10.1007/BF02107596 doi (NATIONALLICENCE)springer-10.1007/BF02107596 Jinwen Zhang The Institute of Software, Academia Sinica, China aut An ω-hierarchy of axiom system ZF [Elektronische Daten] [Zhang Jinwen] In this paper we develop a sequenceZ 0,...,Z n ,...(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 systemZ and the union of all systems in the sequence is justZF. Springer-Verlag, 1990 Acta Mathematica Sinica Springer-Verlag 6/2(1990-06-01), 189-192 1439-8516 6:2<189 1990 6 10114 https://doi.org/10.1007/BF02107596 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/BF02107596 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Jinwen Zhang The Institute of Software, Academia Sinica, China aut NATIONALLICENCE 773 0- Acta Mathematica Sinica Springer-Verlag 6/2(1990-06-01), 189-192 1439-8516 6:2<189 1990 6 10114 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer