[分析] 可否簡要敘述 為何axiom of choice和 zermelo's

[pennyleo (今朝有酒今朝醉)]

想問一下
可否幫我簡要敘述
為何axiom of choice 和 zermelo's theorem
是等價的？
Axiom of choice涉及到的set可以為一個infinite 的 set
但zermelo's theorem 卻要求 「well ordered」
，即存在一個first element
我實在不大瞭解
可否請知道的人幫我解釋一下
謝謝
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 49.217.208.101
※ 文章網址: https://www.ptt.cc/bbs/Math/M.1477855987.A.568.html
※ 編輯: pennyleo (49.217.208.101), 10/31/2016 03:33:26
→ ginstein    : 敲碗XD
→ kerwinhui   : WO → AC 很明顯，反方向用 P(A)-{empty} 的 choice
→ kerwinhui   : function做你定義successor的辦法
→ kerwinhui   : 而limit就放一個*好了，最後移走*也會是WO
→ recorriendo : 這應該隨便找集合論課本都有啊