aksiomsystem
grundsætningerne, antages at gælde for området uden nærmere bevis; andre påstande om området søges bevist ud fra aksiomerne. Det første kendte aksiomsystem Det første eksempel på et aksiomsystem i matematikken udviklede den græske matematiker Euklid ca. 300 f.v.t. i sine