Cardinal comparability principle
ID: cardinal-comparability-principle
For any sets , either injects into or injects into . Applying this to and its Hartogs ordinal proves the well-ordering theorem, so over ZF cardinal comparability is equivalent to choice.
New to topics? Read the docs here!