User blog comment:Alemagno12/Huge Ordinal Analysis I: Z 2/@comment-1605058-20180204192308/@comment-25601061-20180204195759

Then how to prove that, say, the ordering of natural numbers generated by < is a well-ordering?