Return to Article Details Takeuti's Well-ordering Proof Download Download PDF