En lógica y matemática, un axioma o postulado es una fórmula bien formada de un lenguaje formal que se acepta sin demostración, como