Aksiom

From Wikipedia

Aksiom je tvrdnja kao i teorem, sa razlikom što se aksiom uzima kao "a priori" (jasna tvrdnja), to jest, nema potrebe za dokazom iste (na primjer a+b=b+a).

To je dakle, tvrdnja koja se ne dokazuje, već se u okviru neke teorije drži ispravnom.