The science of mathematics