En matemáticas, un conjunto de proposiciones que deben estar respaldadas por una prueba adecuada basada en el razonamiento se denomina teorema. Se puede demostrar plenamente que todos los teoremas matemáticos son verdaderos mediante el razonamiento.
Sin embargo, un axión es evidente por sí mismo y no necesita ser probado. Es un hecho ya establecido.
