Displaying similar documents to “A proof of the well-ordering theorem”