I tried to see the well-ordering principle and its necessity.
In many reference, including Wikipedia I found only statement and applications of it, or its equivalence with mathematical induction.
But, I want to see, what kind of logical problems force us to make it as an axiom?
Can one state some problems, which force us to make the statement of well-ordering on natural numbers, and then use it as an axiom?