Takeuti's well-ordering proof

finitistically fine?

2018

Eamon Darnell, Aaron Thomas-Bolduc

in: Research in history and philosophy of mathematics, Basel,