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

* (타르스키 정리 {{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}}</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>이다.

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

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