PhilSci-Archive, 17 Oct 2018 Darnell, Eamon and Thomas-Bolduc, Aaron (2018) Takeuti's Well-Ordering Proof: Finitistically Fine? [... Darnell, Eamon and…