J. A. Bergstra, “Prospective, Retrospective, and Formal Division:: a contribution to philosophical arithmetic”, Transmath, Oct. 2022.