aksiomatisert
Aksiomatisert er et uttrykk som beskriver noe som har blitt etablert gjennom et avklart sett av aksiomer. Aksiomer er grunnleggende påstander som antas uten bevis og fungerer som utgangspunkt for et formelt system. Når en teori er aksiomatisert, kan alle teoremer innenfor systemet utledes fra disse aksiomene ved hjelp av gyldige logiske regler.
Formålet med aksiomatisering er å gjøre forutsetningene eksplisitte, å sikre presis grunnlag for bevis og å
Vanlige eksempler inkluderer Peano-aksiomene for de naturlige tallene, Hilberts aksiomsett for geometri, og Zermelo-Fraenkel med valgsaxiomet
Historisk tok moderniteten i matematikk form ved utviklingen av formell logikk og axiomatisering på 1800- og
Varianter inkluderer finite eller uendelige axiomssett, samt bruk av generell aksiomske skjemaer som gir ubegrensede påstander.