Vilka är de 4 grundläggande lagarna i matematik?

Jag vet inte varför det ska vara 4 lagar (= axiom) specifikt.
I matematik kan du välja oavsett vilket system av axiom och lagar och arbeta dig med de. Även "logik" (propositionalcalculusen) kan omdefinieras på ett meningsfullt sätt.

det mest använda systemet är Zermolo-Fraenkel + val:
http://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_theory#Axioms
Den har 9 axiom dock inte 4.

En kanske vilja att ta hänsyn till reglerna för "logik" som grundläggande lagar:
http://en.wikipedia.org/wiki/Propositional_calculus

En annan gemensam uppsättning axiom som kan skapas inuti ZFC systemet är peano aritmetisk:
http://en.wikipedia.org/wiki/Peano_arithmetic

Jag hoppas jag förstått frågan.

Det korta svaret är "det finns inget sådant".

Alternativa svar jag tror frågeställaren kan ha inneburit 5 kvalitetssäkrande lagar i matematik, även känd som axiomsna av aritmetik, dessa är följande:
A1 - för någon sådan verkligt numrerar en och b, a + b = b + a, kommutativa lagen

A2 - för någon sådan reella tal a, b och c, a+(b+c) = (a + b) + c, associativa lagen

A3 - för någon verklig nummer ett det finns en identitet, 0, så att en + 0 = a, identitet lag

A4 - för någon verklig nummer ett det finns ett antal - en sådan att a + (-en) = 0, omvänd lagen

A5 - för alla reella tal en och b, det existerar ett reellt tal c, så att a + b = c, egenskapen stängning.

Dessa 5 axiom, i kombination med axiomsna av multiplikation och lite logik/analytiska tänkande, kan bygga upp varje tal-fält, och därifrån sprida sig till differentiering, komplexa funktioner, statistik, ekonomi, mekanik och matematik på nästan alla områden.