En principio una demostración se puede rastrear hasta afirmaciones generalmente aceptadas, conocidas como axiomas.