Bergstra, J.A. 2024. Structural Equivalence of Arithmetical Expressions as a Technical Basis for Philosophical Arithmetic. Transmathematica. (Dec. 2024). DOI:https://doi.org/10.36285/tm.99.