Talk:Ordering Principle

This is obviously implied by the Well-Ordering Theorem and Well-Ordering is Total Ordering, but in fact it is weaker:

[ http://mathoverflow.net/questions/37272/are-all-sets-totally-ordered] has some info.