There are only countably many people. The well-ordering of the integers is accepted in ZF. You only need the axiom of choice if you want to well-order a larger set.
There are only countably many people. The well-ordering of the integers is accepted in ZF. You only need the axiom of choice if you want to well-order a larger set.