. un axioma es una fórmula bien formada que se acepta sin demostración, como punto de partida para otras fórmulas.