aksiom [grško, ‘zahteva’], temeljna izjava v logiki in matematiki, ki je ni mogoče dokazati ali pa je ni treba, ker je razvidna sama po sebi. Sistem aksiomov mora izpolnjevati tele zahteve: 1. neprotislovnost, tj. različni aksiomi takšnega sistema ne smejo biti v nasprotju drug z drugim, 2. neodvisnost, tj. aksiomi ne morejo biti izpeljani drug iz drugega, 3. popolnost, tj. vsak izrek ustrezne teorije je mogoče izpeljati iz teh aksiomov (teorija množic, logika). Najbolj znani so aksiomi v aritmetiki in geometriji, kot npr. Evklidov aksiom o vzporednicah.
Dostopnost