Classical proof that well-ordering principle is equivalent to complete induction
122684
How do you prove Well-Ordering without Mathematical Induction? (and vice-versa)
63618
Can all ordinals be obtained by taking successors and countable limits?
114550
Well-ordering theorem and second-order logic
45878
Elementary Set Theory: Ordinals, Well Orderings and Isomorphisms
134313
Why is the well ordering principle counter-intuitive?
104349
Proof by induction involving symmetric groups
125028
Prove the following equality using mathematical induction:
87955
How to prove that $P \rightarrow Q$ is equivalent with $\neg P \lor Q $?
155897
Proof by induction - is this correct?
98372
Proof of the principle of backwards induction
69043
The equivalence relation generated by a relation
16187
proof of functional completeness of logical operators
142840
Open axioms of equality
27373
Graph Proof by induction.
104492
Why is complete strong induction a valid proof method and not need to explicitly proof the base cases?
150385
The use of the Axiom of Choice in this proof of the sequence lemma
153652
Countable ordinals are embeddable in the rationals $\Bbb Q$ -- proofs and their use of AC