Aksiom: Forskelle mellem versioner

 

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.