1. Akiyoshi R, Takahashi Y (2013) Reading Gentzen’s three consistency proofs uniformly (in Japanese). Kagaku kisoron kenkyu ā (J Japan Assoc Philos Sci) 41(1):1–22
2. Benacerraf P, Putnam H (eds) (1983) Philosophy of mathematics, selected readings, 2nd edn. Cambridge University Press
3. Bernays P (1935) Hilbert’s Investigations into the Foundations of Arithmetic, “Hilberts Untersuchungen über die Grundlagen der Arithmetik” in Hilbert’s Gesammelte Abhandlungen, vol 3. Springer, Berlin, pp 196–216. Dirk Schlimm (Trans)
4. Cantor G (1897) Beiträge zur Begründung der transfiniten Mengenlehre. Mathematische Annalen 49:207–246, part II
5. Darnell E, Thomas-Bolduc A (2018) Takeuti’s well-ordering proof: finitistically fine? In: Zach M (ed) Research in history and philosophy of mathematics: Proceedings of the CSHPM annual meeting in Toronto, Ontario. Springer, Toronto