선택 공리: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
잔글 →역사 |
잔글 →역사 |
||
130번째 줄:
1924년에 [[알프레트 타르스키]]는 타르스키 정리(선택 공리가 모든 무한 집합 <math>X</math>에 대하여 <math>|X|=|X^2|</math>인 것과 동치)를 프랑스의 한 유명 저널에 출판하려 하였는데, 이때 원고를 심사한 [[모리스 르네 프레셰]]는 "자명하게 참인 두 명제의 동치는 출판될 가치가 없다"고 답변하였고, 반면 같은 원고를 심사한 [[앙리 르베그]]는 "자명하게 거짓인 두 명제의 동치는 출판될 가치가 없다"고 답변하였다고 한다.<ref>{{저널 인용|제목=A system of axioms of set theory for the rationalists|이름=Jan|성=Mycielski|저자링크=얀 미치엘스키|url=http://www.ams.org/notices/200602/fea-mycielski.pdf|저널=Notices of the American Mathematical Society|날짜=2006-02|권=53|호=2|쪽=206–213|zbl=1102.03050|언어=en}}</ref>{{rp|209}} 타르스키는 결국 논문을 타 저널에 출판하였다.<ref name="Tarski"/>
1938년에 [[쿠르트 괴델]]은 [[내부 모형]] 이론을 사용하여, 선택 공리가 [[체르멜로-프렝켈 집합론]]과 일관적임을 보였다.<ref>{{저널 인용 | doi = 10.1073/pnas.24.12.556 | 저자링크=쿠르트 괴델 | 이름=Kurt | 성=Gödel | 제목 = The consistency of the axiom of choice and of the generalized continuum-hypothesis | 저널 = Proceedings of the National Academy of Sciences of the United States of America | 날짜 = 1938 | pmid = 16577857 | pmc = 1077160 | jstor=87239 | zbl = 0020.29701 | jfm = 64.0035.01 |언어=en}}</ref><ref>{{서적 인용|성=Ruelle|이름=David|저자링크=다비드 뤼엘|제목=The Mathematician's Brain|날짜=2007|출판사=Princeton University Press|isbn=978-0-691-12982-2}}</ref> 구체적으로, [[구성 가능 전체]] <math>L</math>은 [[체르멜로-프렝켈 집합론]]의 [[구조 (논리학)|모형]]이며, 이 모형에서는 선택 공리가 성립한다. [[폴 코언]]은 [[강제법]]을 사용하여 선택 공리의 부정이 체르멜로-프렝켈 집합론과 일관적임을 보였다.
의존적 선택 공리는 1942년에 [[파울 베르나이스]]가 도입하였다.<ref>{{저널 인용|mr=6333 |last=Bernays|first= Paul | 저자링크=파울 베르나이스 |title=A system of axiomatic set theory. Part III. Infinity and enumerability. Analysis |journal=The Journal of Symbolic Logic |volume=7|호=2|날짜=1942-06|pages= 65–89|jstor=2266303|doi=10.2307/2266303|issn=0022-4812|zbl=0061.09201|언어=en}}</ref>
| |||