Proof of "For each integer m, the set S = {i ∈ Z : i ≥ m} is well-ordered."
121097
Every not empty finite subset of a totally ordered set has a maximum and minimum
114550
Well-ordering theorem and second-order logic
39880
Cardinality of Orderings of $\mathbb{R}$
127843
Prove that, for any natural number $k$ $\exists m \in M $ s.t i) $m$ has exactly $k$ $1$'s, an
131163
There is a well ordering of the class of all finite sequences of ordinals
149277
Does well-ordering of the proper class of cardinal numbers imply choice?
52861
Natural Numbers and Well ordering
67066
Proof there is a 1-1 correspondence between an uncountable set and itself minus a countable part of it
60359
Proving that these two sets are denumerable.
33216
Prove that the order of an element in $S_n$ equals the least common multiple of the lengths of the cycles in its cycle decomposition.
37915
$\sqrt{2}$ is irrational proof using well-Ordering Property
47434
Proof that $A \subseteq B \Leftrightarrow A \cup B = B$
150385
The use of the Axiom of Choice in this proof of the sequence lemma
120911
Clarification on proof: Order of left cosets equal
100726
Prove that the set of powers of a set, $\{ A^n : n \in \mathbb{N} \}$ exists by using ZFC axioms (without replacement).
122684
How do you prove Well-Ordering without Mathematical Induction? (and vice-versa)
122271
A subset of a transitive set is transitive