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.
Articles by others on the same topic
There are currently no matching articles.