Axiomastelsel of axiomasysteem
Stelsel of systeem waarin bepaalde uitdrukkingen in overeenstemming met een gegeven verzameling regels worden afgeleid uit een initiële verzameling uitdrukkingen die als gegeven worden beschouwd en axioma’s worden genoemd. In zo’n stelsel vormen de axioma’s zelf een axiomaverzameling. Vaak, zoals bij Tarski, wordt ‘axiomastelsel’ gebruikt in de bet...
