His proof of the well ordering property used the axiom of choice to construct sets by transfinite induction.
Kanyang patunay ng mabuti ang mga order sa mga ari-arian na ginagamit ang axiom ng mga pagpipilian sa set na itindig sa pamamagitan ng transfinite pagtatalaga sa tungkulin.