• 제목/요약/키워드: Mostowski-Shepherdson mapping theorem

검색결과 1건 처리시간 0.014초

A reconstruction of the G$\ddot{o}$del's proof of the consistency of GCH and AC with the axioms of Zermelo-Fraenkel set theory

  • 최창순
    • 한국수학사학회지
    • /
    • 제24권3호
    • /
    • pp.59-76
    • /
    • 2011

  • NBG의 공리들을 충족시키는 모델로서의 집합 V 를 도입하고 그것의 요소들을 sets라 부르고 그것의 부분집합들을 classes라 부른다. 일반연속체가설 (GCH) 와 선택공리 (AC) 가 ZF 집합론과 무모순이라는 것에 대한 괴델의 증명을 그 이후 나온 Mostowski-Shepherdson mapping 정리, Tarski-Vaught 정리 및 Montague-Levy 정리의 반사원리들, NBG가 ZF의 보존적 확장이라는 정리 등을 이용하여 재구성해 본다.

  • PDF KSCI