Bergstra JA. Prospective, Retrospective, and Formal Division:: a contribution to philosophical arithmetic. Transmath [Internet]. 2022Oct.17 [cited 2024Apr.19];. Available from: https://transmathematica.org/index.php/journal/article/view/71