1. Başka bir önermeye geri götürülemeyen ve tanıtlanamayan, böyle bir geri götürme ve kanıtı da gerektirmeyip, kendiliğinden apaçık olan ve böyle olduğu için öteki önermelerin temeli ve öndayanağı olan temel önerme.
2. (Daha genel olarak) Apaçık olsun ya da olmasın ->tümdengelimli bir dizgenin başında yer alan, kendisi tanıtlanamayan, ama öteki önermelerin tanıtlanmasına yarayan önerme.

(mat. aksiyom) (Alm. Grundsatz, m; Axiom, n; Fr. axiome, m; İng. axiom) 

mat. Bir matematik sistem kurulurken doğru olduğu varsayılan, söz konusu sistem içinde kanıtlanmayan önerme ya da ilke.

Bir uzbilim dizgesi kurulurken doğru olduğu varsayılan, buna karşın söz konusu dizge içinde kanıtlanamayan deyim, ilke ya da önerme, Anlamdaş. ilksav. a. bk. koyut.

Bir kuramda başlangıç noktasını oluşturan, apaçık sayılan ve bu nedenle de tanıtlanmasına gerek duyulmaksızın doğru sayılan öncül.

Bakınız: ilksav