I think you’ve taken EY’s question too literally. The real question is about the status of statements and facts of formal systems (“systems of rules for symbol manipulation”) in general, not arithmetic, specifically.
If you define “mathematics” to include all formal systems, then you can say EY’s meditation is about mathematics.
I think you’ve taken EY’s question too literally. The real question is about the status of statements and facts of formal systems (“systems of rules for symbol manipulation”) in general, not arithmetic, specifically. If you define “mathematics” to include all formal systems, then you can say EY’s meditation is about mathematics.