Why is the Well Ordering Theorem true?
15966
A way to well-order real line
131163
There is a well ordering of the class of all finite sequences of ordinals
29952
Time-ordering vs normal-ordering and the two-point function/propagator
37116
Do ordered fields and archimedian ordered fields have the same first-order theory?
5116
Why does the order of arguments in Show influence the result?
7214
Does linear ordering need the Axiom of Choice?
42314
Without appealing to choice, can we prove that if $X$ is well-orderable, then so too is $2^X$?
142782
Operator< and strict weak ordering
59908
Intuitive Explanation why the Fundamental Theorem of Algebra fails for infinite sums
1027
Why is this true? $(\exists x)(P(x) \Rightarrow (\forall y) P(y))$
83136
Positive Mass Theorem
72371
Proof of Strong Induction Using Well-Ordering Principle
43024
Well-ordered sets, properties of an element that is not largest in the set
35972
Well ordering principle for rationals
114550
Well-ordering theorem and second-order logic
134768
Borel hierarchy doesn't "collapse" before $\omega_1$
121581
Why superposition theorem fails here?