What is mathematics, really? | Synapse