Et aksiom er en grundantagelse (sætning), der antages at være sand uden bevis.[1]. Sammen med andre aksiomer ligger aksiomet til grund i et større aksiomatisk system af sætninger. I et sådant system har man altså et sæt aksiomer, som man ikke beviser, men som man bruger som det fundamentale grundlag for at bevise andre sætninger i teorien (det aksiomatiske system). Et aksiom anses typisk for at være selvindlysende sandt.