집합론에 대한 공준

A Postulate for Set Theory

  • 정세화 (가천대학교 수학정보학과)
  • Chung, Se-Hwa (Department of Mathematics and Information, Gachon University)
  • 투고 : 2011.12.20
  • 심사 : 2012.02.03
  • 발행 : 2012.02.28

초록

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

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.

키워드

참고문헌

  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.