well-ordering theorem

set-theoretic theorem or principle, equivalent to the axiom of choice

카테고리: