La geometría se propone ir más allá de lo alcanzado por la intuición. Por ello, es necesario un método riguroso, sin errores; para conseguirlo se han utilizado históricamente los sistemas axiomáticos. El primer sistema axiomático lo establece Euclides, aunque era incompleto. David Hilbert propuso a principios del siglo XX otro sistema axiomático, éste ya completo. Como en todo sistema formal, las definiciones, axiomas y teoremas no sólo pretenden describir las propiedades de los objetos, o sus relaciones. Cuando se axiomatiza algo, los objetos se convierten en entes abstractos ideales y sus relaciones se denominan modelos. Esto significa que las palabras "punto", "recta" y "plano" deben de perder todo significado material. Cualquier conjunto de objetos que verifique las definiciones y los axiomas cumplirá también todos los teoremas de la geometría en cuestión, y sus relaciones serán virtualmente idénticas al del modelo tradicional. Axiomas En geometría sintética, los axiomas son proposiciones o afirmaciones que relacionan conceptos, definidos en función al punto, la recta y el plano. Se distinguen cuatro grupos de axiomas. Un quinto grupo de axiomas (el axioma de paralelismo) es el que distinguirá una geometría de otra. En geometría analítica, los axiomas se definen en función al punto; no tiene sentido hablar de recta o plano. f(x) puede definir cualquier función llámese recta, circunferencia, cuadrado de la circunferencia, planos, entre otros.