Robuta

https://philsci-archive.pitt.edu/14259/ Takeuti's Well-Ordering Proof: Finitistically Fine? - PhilSci-Archive wellorderingprooffinearchive