aksiomsystem
Aksiomsystem er et system af grundsætninger, som benyttes til at karakterisere et bestemt fagområde. Aksiomerne, dvs. 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