Un axioma es una proposición que, por el grado de evidencia y de certeza que exhibe, es admitida

sin demostración. En el terreno de la matemática, se llama axioma a un principio fundamental que

no puede demostrarse pero que se utiliza para el desarrollo de una teoría.
A nivel general puede decirse que un axioma es una expresión que se acepta o aprueba más allá de la
ausencia de una demostración de su postulado. Se trata de una proposición que no se deduce de
otras: es el primer paso para la demostración de otras fórmulas a partir de un proceso deductivo.
Los postulados de Euclides hacen referencia al tratado denominado Los Elementos , escrito
por Euclides hacia el año 300 a. C., exponiendo los conocimientos geométricos de la Grecia
clásica deduciéndolos a partir de cinco postulados, considerados los más evidentes y sencillos.1
Los postulados de Los Elementos son:

1. Dos puntos cualquiera determinan un segmento de recta.

2. Un segmento de recta se puede extender indefinidamente en una línea recta.
3. Se puede trazar una circunferencia dados un centro y un radio cualquiera.
4. Todos los ángulos rectos son iguales entre sí.
5. Postulado de las paralelas. Si una línea recta corta a otras dos, de tal manera que la
suma de los dos ángulos interiores del mismo lado sea menor que dos rectos, las otras
dos rectas se cortan, al prolongarlas, por el lado en el que están los ángulos menores
que dos rectos.
Este último postulado tiene un equivalente, que es el más usado en los libros de geometría:

 Por un punto exterior a una recta, se puede trazar una única paralela.
A principios del siglo XIX Gauss, Lobachevsky y János Bolyai consideraron la posibilidad de
una geometría sin el quinto postulado, descubriendo la Geometría hiperbólica. Ésta fue la
primera geometría no euclídea en aparecer históricamente y Gauss consideró seriamente la
posibilidad de que fuera la geometría del espacio en que vivimos, planteando así la cuestión
de la estructura geométrica del Universo, que conduciría a la Teoría de la relatividad
general de Einstein. Gauss incluso llegó a presentir que la geometría hiperbólica era
preferible, porque en ella hay unidades de longitud naturales.
En términos actuales, estos postulados fueron enunciados por Hilbert en sus axiomas.

Las nociones comunes de Los Elementos son:

1. Cosas iguales a una misma cosa son iguales entre sí.

2. Si se añaden iguales a iguales, los todos son iguales.
3. Si se sustraen iguales a iguales, los restos son iguales.
4. Las cosas que coinciden una con otra son iguales entre sí.
5. El todo es mayor que la parte.

Algunas definiciones:

1. Un punto es lo que no tiene partes.

2. Una línea es una longitud sin anchura.
3. Los extremos de una línea son puntos.
4. Ángulo obtuso es el mayor que un
recto.
5. Ángulo agudo es el menor que un recto.
6. (15) Un círculo es una figura plana comprendida por una línea tal que todas las rectas
caen sobre ella desde un punto de los que están dentro de la figura son iguales entre sí.
Las Proposiciones de Euclides

Proposición 1: Sobre una recta finita (segmento) construir un triángulo equilátero. [Datos] Sea AB la
recta finita dada.

[Incógnita] Se pide construir un triángulo equilátero sobre la línea recta AB. [Construcción] Con
centro en A y distancia AB se describe el círculo (circunferencia) BCD (Postulado III); y nuevamente,
con centro B y distancia BA se describe el círculo ACE (Postulado III);
y desde el punto C, en que los círculos [circunferencias] se cortan entre sí, se trazan las rectas CA y
CB que lo unen a los puntos A y B (Postulado I).

Y puesto que el punto A es el centro del círculo CBD, es AC igual a AB [Definición 15]. Por otra
parte, desde que el punto B es el centro del círculo CAE, es BC igual a BA (Definición 15).
Pero se ha demostrado, que CA es igual a AB; entonces cada una de las líneas rectas CA, CB son
iguales a AB.

Y como cosas iguales a una misma cosa son iguales entre sí, [Axioma 1], entonces CA es igual a CB.
Luego las tres líneas rectas CA, AB, BC son iguales entre sí.
Y por lo tanto el triángulo ABC es equilátero; y ha sido construido sobre la línea recta finita dada
AB. L.C.Q.H (lo cual queríamos hacer)

Comentarios

Euclides, hace referencia a Postulados III, Postulado I, Definición 15 y Axioma 1 para justificar los
procedimientos que considera en la Construcción:
Postulado I: Desde un punto a otro cualquiera se puede trazar una línea recta. Postulado III: Se puede
describir una circunferencia con cualquier centro y con cualquier distancia [como radio].