Mathematical truths like '7+5=12' are necessary not because minds impose structure, but because they...