Some people would say that the relational patterns in numbers are a kind of definition, and that such statements aren't so much truths but consequences of those

Some people would say that the relational patterns in numbers are a kind of definition, and that such statements aren't so much truths but consequences of those patterns - and that it's only when you're using the two '1's to represent real world details that the '2' is true or false. (and BTW, there are real-world situations where '1' and '1' do not make '2'... e.g. putting a snake and a mouse in a box. We only apply maths statements like that to the kinds of entities/situations where they will apply).