Det finns olika svar på den frågan beroende på vad du tror om matematik.
Här är exempel på vad för typ av saker du kan tro om vad matematik är för något:
Platonismen eller realismen lär att matematiken existerar i sin egen värld, parallell med vår värld. Det är lätt att sluta sig till detta av att matematiken dyker upp i så gott som alla andra vetenskaper. Grundsynen är alltså att matematiken är något som redan finns och som utforskas av matematiker, en matematiker upptäcker alltså ett visst matematiskt samband på samma vis som en upptäcktsresande upptäcker en ny kontinent. Likheten med Platons idévärld till vilken vår egen värld bara är en skuggvärld är uppenbar. Axiom är inom realismen analoga mot den fysiska världens naturlagar.
Om man är matematisk platonist tror man att 1 + 1 = 2 oavsett om vi människor vet eller tror det. Vi har upptäckt att det är så, men det var sant redan innan vi upptäckte det.
Fler exempel här:
wikipedia / Matematikfilosofi
Om du kan acceptera att utgå från
Peanos Axiom och går med på att vanliga logiska regler gäller så går det att
bevisa att 1 + 1 = 2. Lite jobb, har jag för mig. Samt även en massa jobb för att förstå och acceptera axiomen så klart.