Aksiom: Forskelle mellem versioner

Et '''aksiom''' er en '''grundantagelse''', der [[antages]] at være [[Sandhed|sand]], og som ligger til grund for et større [[system]] af [[Sætning (matematik)|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]].