Et aksiom er en grundantagelse, der antages at være sand, og som ligger til grund for et større system af sætninger. I et sådant logisk system har man altså et sæt aksiomer, man ikke beviser, men bruger som det fundamentale grundlag til at bevise andre sætninger i teorien.
#computervidenskab
