J. A. Bergstra, “Structural Equivalence of Arithmetical Expressions as a Technical Basis for Philosophical Arithmetic”, Transmath, Dec. 2024.