well ordering property 와 well ordering principle의 차이는....?

[가자앞으로]

무엇인지 알고 싶습니다...

well ordering principle
=> Every nonempty set X can be well ordered.

well ordering property
=> 자연수 집합은 least element를 갖는다..

훔..맞나요???--

[2001]

둘이 같은거 아닌가?

[가자앞으로]

=> Every nonempty set X can be well ordered. 이건 걍 정렬만 되는걸 의미하는건가요? __; 정렬이 되며 최소 원소를 갖는다를 다 얘기하는건가?!

[자동응답기]

엄청나게 다른 겁니다. well ordering principle 은 유명한 Zorn's lemma, 즉 axiom of choice 와 동치라는 것을 생각하면 알 수 있습니다.