A Postulate for Set Theory

집합론에 대한 공준

  • Chung, Se-Hwa (Department of Mathematics and Information, Gachon University)
  • 정세화 (가천대학교 수학정보학과)
  • Received : 2011.12.20
  • Accepted : 2012.02.03
  • Published : 2012.02.28

Abstract

In this paper, we survey the history of search for axiomatic set theory and show that ${\exists}U(0{\in}U{\wedge}{\forall}x(x{\in}U{\leftrightarrow}{\exists}z(z{\in}U{\wedge}{\forall}y(y{\in}x{\rightarrow}y{\subseteq}z))){\rightarrow}$ ZR.

본 논문에서는 공리론적 집합론의 역사를 살펴보고 순서수, 노이만 영역, ZR공리계를 동시에 전개할 수 있는 공준을 소개한다.

Keywords

References

  1. 박창균, 직관주의, 한국수학사학회지, 10(1997), No. 2, pp. 82-88.
  2. 吉永良正/임승원 옮김, 불완전성 정리, 전파과학사, 2000.
  3. 현우식, 칸토르의 수학 속의 신학, 한국수학사학회지, 24(2011) No. 3, pp. 13-21.
  4. 홍성사, 선택공리와 19세기 수학, 한국수학사학회지 9(1996), No. 2, pp. 1-11.
  5. K. Hrbacek and T. Jech, Introduction to Set Theory, Marcel Pekker, Inc., 1984.
  6. T. Jech, Set Theory, Springer-Verlag Berlin Heidelberg, 2003.
  7. J. L. Kelley, General Toplogy, Van Nostrand, Princeton, 1955.
  8. E. Mendelson, Introduction to Mathematical Logic, 2nd ed. D. Van Nostrand, 1979.
  9. G. H. Moore, Zermelo's Axiom of Choice: Its origins, Development, and Influence, Springer-Verlag Berlin Heidelberg, 1982.
  10. C. C. Pinter, Set Theory, Addison-Wesley, 1971.
  11. R. L. Vaught, Set Theory, Birkhauser, 1926.