Axioma

Un axioma es un enunciado matemático que sirve como un punto de inicio del cual otros enunciados son derivados lógicamente.

Los axiomas no pueden ser derivados o probados; ellos no siguen lógicamente nada (de otra forma, serían llamados teoremas.)

El primer conjunto de axiomas que la mayoría de estudiantes de matemáticas escuchan son los axiomas de la geometría Euclideana, llamados Postulados de Euclides:

• Es posible dibujar una línea recta de cualquier punto a cualquier otro punto.
• Es posible producir una línea recta finita continuamente en una línea recta.
• Es posible describir un círculo con cualquier centro y cualquier radio.
• Es verdad que todos los triángulos rectángulos son iguales uno de otro.
• (El "Postulado del paralelo") Es verdad que, si una línea recta corta a dos líneas rectas haciendo los ángulos interiores en el mismo lado menor que los dos ángulos, las dos líneas rectas, si se producen indefinidamente, se intersectan en ese lado en el cual están los ángulos menores que los dos ángulos rectos.