Aksiom
Sa Wikipedije, slobodne enciklopedije
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.