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