In de wiskunde noemen we dit soms een postulaat of een grondstelling maar we
kennen het beter onder een andere naam. Het is in de wiskunde en logica een niet
bewezen, maar als grondslag aanvaarde bewering. Er zijn regels: Ze mogen
bijvoorbeeld elkaar niet tegenspreken of afgeleid zijn uit een ander postulaat.
Bekende voorbeelden uit de meetkunde zijn:
Elke rechte lijn kan eindeloos als rechte lijn uitgebreid worden.
Elk lijnstuk kan de straal zijn van een cirkel met een van de uiteinden van dat
lijnstuk als middelpunt.
