- 집합론에 대한 공준
- ㆍ 저자명
- 정세화,Chung. Se-Hwa
- ㆍ 간행물명
- 한국수학사학회지
- ㆍ 권/호정보
- 2012년|25권 1호|pp.29-43 (15 pages)
- ㆍ 발행정보
- 한국수학사학회
- ㆍ 파일정보
- 정기간행물| PDF텍스트
- ㆍ 주제분야
- 기타
이 논문은 한국과학기술정보연구원과 논문 연계를 통해 무료로 제공되는 원문입니다.
본 논문에서는 공리론적 집합론의 역사를 살펴보고 순서수, 노이만 영역, 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{ ightarrow}y{subseteq}z))){ ightarrow}$ ZR.