Et (gresk: ἀξίωμα, , «grunnsetning») er en grunnsetning som aksepteres uten bevis, enten den er allment akseptert eller den er selvinnlysende sann. I epistemologien (læren om viten) står for eksempel kausalitetsaksiomet som et eksempel på et slik aksiom, likefullt representerer aksiomet og dens unntaksmessige rolle i vitenskapelig og normativ tenkning som en av filosofiens største utfordringer. I matematikken har aksiomets rolle blitt nær sagt utradert, mye takket være Kurt Gödels teorem. Gödels første ufullstendighetsteorem viser at «» (Raatikainen 2015).