Baker, A. “Enumerative Induction in Mathematics”. Journal for the Philosophy of Mathematics, vol. 1, Sept. 2024, pp. 5-21, doi:10.36253/jpm-2931.