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. (axiom)