1樓：天將軍
因為由選擇公理可以推出，任何乙個集合都可以良序化為乙個良序集（良序定理），而任何兩個良序集都是可以比較的，從而任何兩個集合也可以比較（可較原理）
其實這三個定理是兩兩等價的：選擇公理良序定理可較原理
2樓：yuyu
定義集合的基數（勢）是需要選擇公理的，集合的基數定義為最小的序數
使得和之間存在雙射，滿足這個條件的序數自動地是乙個基數。可以證明對於每個良序集都存在乙個序數使得它們之間存在雙射，但是對於一般的集合，我們不能說什麼，因此我們需要良序原理（與選擇公理等價）來斷定任意乙個集合上都有乙個良序，這樣任意乙個集合都與乙個序數之間存在雙射，因此可以它的基數有定義。定義好了集合的基數後，基數可以比較根據定義是立刻得到的，因為對於任何兩個集合和，它們的基數也是序數，而所有序數的類是良序的，所以要麼，要麼（作為序數），而基數的序和序數的序是一致的，因此我們也有要麼，要麼（作為基數）。
3樓：
因為集合「基」和「勢」的定義，都依賴於康托爾提出的「一一對應」這個概念，也就是「單射」關係。
想比較兩個有限自然數集合大小，比如和，最直觀的方法是不管元素本身，直接按有限集合的元素「個數」來，但是自然數集合含無窮個元素，沒辦法用直觀的個數標記，康托爾就把個數概念嚴格化，拓展成「基」，採用一一對應法將任意有窮、無窮可數集合與自然數集合比較，可以得到該集合的「基」與自然數集合「基」[阿列夫零]的關係。
本來這是夠用的，但是後來又要比較不可數集合[比如實數]和類[在集合基礎上擴充套件的概念]的大小，基數不能用，但「一一對應」還可以用(其實是用在反證法裡)，於是再次拓展成「勢」，由等勢定義等價類，再由等價類中選取構造合理的集合之「基」表示「勢」，比如同時能定義「序」和「基」的「馮·諾伊曼類[ Von Neumann universe ]」。
由「馮·諾伊曼類」模型，可以衍生出一系列公理化的集合模型，比如Z集合，ZF集合，ZFC集合，MK集合，NBG集合，TG集合等，其中NBG/TG等拓展ZFC的集合論，在範疇論和型別論中有重要作用，是可計算理論的基石。而ZFC雖然在純數學中是基礎中的基礎，但很難引入到計算機中。
現在有一波人在嘗試用型別論完全取代集合論作為新的計算和數學統一基礎，所以ZFC以外有廣闊天地，別凡事都從ZFC規整好的邏輯順序出發，要尊重數學認知的真實發展歷程。
從歷史沿革，而不是純公理化定義出發，是先有ZF集合論，然後才有選擇公理和連續統假設，才有三分法，才有ZFC集合論。基本概念沒定義清楚，肯定沒辦法寫出公理來的。形式化的選擇公理是依賴函式概念的，函式又依賴於集合和單射概念的，選擇公理不是用來定義基和勢的，它是良序定理的延伸，上面有些答案弄錯了。
4樓：馮白羽
集合的勢的三歧性實際上與選擇公理等價，這是Hartogs證明的。
一方面，良序原理（選擇公理）蘊含集合的勢的三歧性，這是比較顯然的。
另一方面，勢的三歧性也蘊含良序原理。
Hartogs證明了，對於任意集合,總存在某個aleph 滿足：
.這樣，如果承認勢的三歧性，那麼
.這樣，就是可以良序化的，因為它有乙個到良序集的單射。於是就得到了良序原理。
上述Hartogs定理以及整個證明的細節可以參考科普文：
怎麼證明任何兩個集合的基數都是可以比較的？
yuyu 設,對於每個子集,設是函式，那麼的影象是的子集，設 在上定義包含關係，即當且僅當，那麼這個關係是上的偏序。現在考慮中的每個鏈 全序集 我們證明也在中，注意到對於的子集是中元素當且僅當對於不同的序偶，我們有 因為是不同的序偶 以及 因為是單射 設和是中的不同的點，那麼存在使得以及，由於是中的...
兩個無限集A和B，A的勢嚴格小於B的勢，怎麼證明笛卡爾積A B和B等勢？
H23333 我們分下面幾步來證明這個結論,並且用 表示基數運算.Step1 如果 是無限集,則 證明 令 則 是非空集合 取 是 的可列子集即可 並且按對映的擴張關係構成乙個偏序集.容易證明 的每乙個全序子集都有上界,由Zorn引理,有極大元 我們斷言 若不然,存在 使得 令 取雙射 則存在雙射 ...
英語中是任意兩個名詞都可以連用嗎？
哈姆特雷 名詞 名詞搭配 可以說是複合詞 裡，第乙個名詞起到形容詞的作用，是定語。第乙個名詞主要是告訴我們這個複合詞是什麼型別 性質的人 事物，發生的地點等。舉個例子 man teacher 男老師 a teacher who is a man man 說明了教師的性別 tennis ball 網球...