Una teoría matemática en determinada rama de las matemáticas, es valida o verdadera o consistente, cuando se presenta a través de un desarrollo axiomático de dicha rama de la matemática. A éste desarrollo axiomático lo llamaremos sistema axiomático. que consiste en la presentación bajo la forma de una sucesión de los siguientes objetos matemáticos: Términos o Elementos Primitivos. Símbolos. Axiomas Primitivos o Proposiciones no Demostradas. Una Colección de Reglas de Inferencia o de Deducción heredadas de la lógica. Definiciones. Teoremas y métodos de demostración.