Cardinal of $X^2$
The axiom of choice is equivalent to the following statement: if $X$ is an infinite set then the cardinal of $X^2$ is the same as that of $X$. Is there an elementary proof of this statement?
Solution 1:
The term elementary is a bit vague. It can be interpreted in two ways.
Very simple proof, that can be understood by anyone which understands the basic definitions of the axiom of choice, and cardinality.
Proof using only elementary concepts from set theory. This is another ambiguity, do ordinals count as elementary concepts? the equivalence between the well-ordering theorem and the axiom of choice?
The proof is generally divided into two and a half parts. Showing that without the axiom of choice, if $\delta$ is an infinite ordinal then $|\delta|=|\delta\times\delta|$ and that assuming the axiom of choice every infinite set is equipotent with an infinite ordinal. Then the proof of the other direction, if every infinite set is equipotent with its square, then every infinite set is equipotent with an ordinal.
In fact, you can escape the theory of ordinals, but you will end up developing some of its basic parts under the guise of sets which can be well-ordered (without saying that completely). Such proof you can find in Francois Dorais' answer here.
Generally speaking, if you understand the basic ideas behind ordinals, the proof should be accessible and elementary. If you don't consider ordinals to be elementary, you can still somehow get around them but the proof becomes somewhat awkward.
Let me finish by saying that in mathematics theorems whose statement is elementary does not necessarily have elementary proofs.