Displaying similar documents to “Concerning a proof of α + 1 2 α without axiom of choice”