My formulation would be something like this: Mathematics is how you discover further truths about worlds that have objective truths. We don't know if the world

My formulation would be something like this: Mathematics is how you discover further truths about worlds that have objective truths. We don't know if the world "we live in" is such a world but it contains a lot of those other worlds =)