Bergstra JA. Structural Equivalence of Arithmetical Expressions as a Technical Basis for Philosophical Arithmetic. Transmath [Internet]. 2024Dec.20 [cited 2026May2];. Available from: https://transmathematica.org/index.php/journal/article/view/99