Bergstra, Jan Aldert. 2024. “Structural Equivalence of Arithmetical Expressions As a Technical Basis for Philosophical Arithmetic”. Transmathematica, December. https://doi.org/10.36285/tm.99.