¿Que es un Axioma?

Es  una premisa que, por considerarse evidente, se acepta sin demostración, como punto de partida para demostrar otras fórmulas. Tradicionalmente los axiomas se eligen de las consideradas afirmaciones evidentes, porque permiten deducir las demás fórmulas.
El sistema axiomático de Hilbert se compone de nueve nociones primitivas: tres términos primitivos

punto, linea y plano 

y  relaciones primitivas primitivas:

• Orden, una relación temaria entre puntos;
• Pertenencia, tres relaciones binarias, una de ellas entre puntos y rectas, otra entre puntos y planos, y otra entre rectas y planos;
• Congruencia, dos relaciones binarias, una entre segmentos y otra entre ángulos, denotadas por .