Abstract
In this paper we develop a sequenceZ0,...,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.
Keywords
Axiom System
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
References
- [1]Fraenkel A.A., Bar-Hillel, Y. and Levy, A., Foundations of Set Theory, North-Holland Publishing Company, Amsterdam, London, 1973.Google Scholar
- [2]Wang Hao, A Survey of Mathematical Logic, Science Press, Peking, 1962.Google Scholar
- [3]Wang Hao, et R. McNaughton, Les systems aniomatigues de la theorie des ensembles, Paris, 1953.Google Scholar
- [4]Enderton, H.B., Elements of Set Theorey, Academic Press, New York,San Francisco, London, 1977.Google Scholar
- [5]Levy, A., A hierarchy of formulas in set theorey,Mem. Amer. Math. Soc.,57(1974),Google Scholar
- [6]Devilin, K.J., Construcyibility,Springer Verlag, Berlin,Heidelberg, New York, Tokyo, 1984.Google Scholar
- [7]Zhao Xishun,A consistent result of the system A+ the replacement axiom schema of Σn-formulas,Science Bulletin,54 (1989).Google Scholar
Copyright information
© Springer-Verlag 1990