Vad kallas ett matematiskt grundantagande som man inte bevisar, men som antas vara sant och används för att bevisa andra satser i teorin?

Förklaring

Ett axiom är ett grundantagande som antas vara sant och som ligger till grund för ett större system av satser. I ett sådant logiskt system har man ett antal axiomer som man inte bevisar, men använder som fundamental utgångspunkt för att bevisa andra satser i teorin. Ett exempel på en axiom är att genom två punkter går en och endast en rak linje.