논문KCI 등재
집합론에 대한 공준
A Postulate for Set Theory
1
조회
0
다운로드
0
인용
0
참고문헌
키워드
주제분류수학
초록
본 논문에서는 공리론적 집합론의 역사를 살펴보고 순서수, 노이만 영역, ZR공리계를동시에 전개할 수 있는 공준을 소개한다.
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.
참고문헌 (11)
- 박창균, "직관주의", 한국수학사학회지, 10(2), pp.82~88 (1997)
- 吉永良正, "불완전성 정리" (2000), 전파과학사
- 현우식, "칸토르의 수학 속의 신학", 한국수학사학회지, 24(3), pp.13~21 (2011), 한국수학사학회
- 홍성사, "선택공리와 19세기 수학", 한국수학사학회지, 9(2), pp.1~11 (1996)
- K. Hrbacek, "Introduction to Set Theory" (1984), Marcel Pekker, Inc
- T. Jech, "Set Theory" (2003), Springer-Verlag
- J. L. Kelley, "General Toplogy" (1955), Princeton
- E. Mendelson, "Introduction to Mathematical Logic, 2nd ed" (1979)
- G. H. Moore, "Zermelo’s Axiom of Choice: Its origins, Development, and Influence" (1982), Springer-Verlag
- C. C. Pinter, "Set Theory" (1971), Addison-Wesley
- R. L. Vaught, "Set Theory" (1926), Birkhäuser
관련 논문AI추천
不可知 類의 존재성과 선택공리정세화한국수학사학회 · 한국수학사학회지2009 · 제22권 제4호제르멜로와 공리적 방법박우석한국논리학회 · 논리연구2008 · 제11권 제2호자연수 개념의 역사에 관한 분석적 고찰고정화한국수학사학회 · 한국수학사학회지2005 · 제18권 제2호수학적 대상으로서의 공집합유미영, 최영기한국수학교육학회 · 수학교육 논문집2021 · 제35권 제4호집합론은 메타논리학에 필수불가결한가?강수휘한국수학사학회 · 한국수학사학회지2010 · 제23권 제2호수학교사를 위한 괴델정리의 소개 방안신현용영남수학회 · East Asian Mathematical Journal2008 · 제24권 제5호