Hüperonüümid:
doktriin 1(n), filosoofia 1(n), õpetus 1(n)
aksiomaatika 1(n), aksioomiõpetus 1(n)

algmõistetest, aksioomidest ja tõestusreegleist koosnev deduktiivselt ülesehitatava teooria osa, mis võimaldab tõestada teooria kõiki teisi väiteid (teoreeme), aksioomide süsteem

ILI-1.5 relation(s)

eq_has_meronym

PWN-3.0 relation(s)

eq_has_meronym
axiom 2(n) a proposition that is not susceptible of proof or disproof;its truth is assumed to be self-evident