“The truth of mathematics holds independently of what facts might obtain in the world. The laws of physics could change but the maths wouldn’t. That’s why Hume distinguished between the truths of mathematics, which he said involved the “relations of ideas”, with “matters of fact”, truths about the world.”