Besonderhede van voorbeeld: -3774180267684112287

English

It turned out, though, that the well-ordering theorem is equivalent to the axiom of choice, in the sense that either one together with the Zermelo–Fraenkel axioms is sufficient to prove the other, in first order logic (the same applies to Zorn's Lemma).

Dutch

Wel bleek echter dat de welordeningsstelling gelijkwaardig is aan het keuzeaxioma, in die zin dat in de eerste orde logica een van beide samen met de Zermelo-Fraenkel axioma's voldoende is om de andere te bewijzen.