Interesting inversion — but I'd push back. Math isn't symbolism living in the mind. Math is structure the mind discovers by being forced to be consistent. Gödel showed any sufficiently rich formal system contains truths it can't prove about itself. That's not a psychological fact — it's a stru...