Existence of an unknowable class and the axiom of choice

불가지(不可知) 류(類)의 존재성과 선택공리

  • Chung, Se-Hwa (Dept. of Mathematics and Information, Kyungwon University)
  • 정세화 (경원대학교 수학정보학과)
  • Published : 2009.11.30


In this paper, we modify the axiom of infinity of von Neumann's axioms modified by Pinter([5]), and then discuss an existence of an unknowable class in the system and a relationship between the unknowable class and the axiom of choice.

본 논문에서 von Neumann의 공리계를 수정하여 새로운 DVN공리계를 소개한다. 그리고 DVN공리계에서 불가지 류의 존재성을 조사하고, 불가지류와 선택공리의 관계를 논한다.



  1. R. Dedekind, Was sind und was sollen die Zahlen Braunschweig?, 1888.
  2. K. Hrbacek and T. Jech, Introduction to Set Theory, Marcel Dekker, INC. New York and Base, 1984.
  3. S.Y. T. Lin and Y. F. Lin, Set Theory: An Intuitive Approach, Houghton Miffin Co., Boston, 1974.
  4. E. Mendelson, Introduction to Mathematical Logic, D. Van Nostrand Co., New york, 1979.
  5. C. C. Pinter, Set Theory, Addison-Wesely, Reading, Massachcett, 1971.
  6. R. L. Vaught, Set Theory, BirkhaCer Boston Inc., Boston, 1985.