What is mathematics, really?