선택 공리: 두 판 사이의 차이

* ('''타르스키 정리''', {{llang|en|Tarski theorem}}) 임의의 무한 [[기수 (수학)|기수]] <math>\kappa</math>에 대하여, <math>\kappa=\kappa^2</math>이다.<ref name="Tarski">{{저널 인용|저자링크=알프레트 타르스키|last=Tajtebaum-Tarski|first=A.|title=Sur quelques théorèmes qui équivalent à l’axiome du choix|journal=Fundamenta Mathematicae|volume=5|날짜=1924|pages=147-154|url=http://pldml.icm.edu.pl/pldml/element/bwmeta1.element.bwnjournal-article-fmv5i1p18bwm|언어=fr|확인날짜=2014-12-26|보존url=https://web.archive.org/web/20141226131413/http://pldml.icm.edu.pl/pldml/element/bwmeta1.element.bwnjournal-article-fmv5i1p18bwm|보존날짜=2014-12-26|url-status=dead}}</ref>

* (기수의 비교 가능성) 임의의 두 기수 <math>\kappa_1</math>, <math>\kappa_2</math>에 대하여, <math>\kappa_1=\kappa_2</math>이거나, <math>\kappa_1<\kappa_2</math>이거나, <math>\kappa_1>\kappa_2</math>이다.

* 모든 [[벡터 공간]]은 [[기저 (선형대수학)|기저]]를 갖는다.

* [[자명환]]이 아닌 (단위원을 갖는) [[환 (수학)|환]]은 [[극대 아이디얼]]을 갖는다.