Bergstra, J. A. Structural Equivalence of Arithmetical Expressions As a Technical Basis for Philosophical Arithmetic. Transmath 2024.