Beta Phase: Square45 is currently in beta testing. Expect some features or content to be incomplete or missing.
45

Axiom of well-ordering (choice)

Every set can be well-ordered. It is equivalent to the Axiom of Choice in ZF.
📜

The statement of the theorem

For every set XX, there exists a binary relation ≤\le which is a well-ordering on XX.