Los axiomas, ya sea aceptados como "evidentes" desde un punto de vista filosófico o bien meramente como abrumadoramente plausibles, se aceptan sin demostración; sobre ellos se ha erigido la cristalizada estructura de las matemáticas.