Un sistema lógico axiomático parte de la definición de un reducido número de elementos básicos que se relacionan mediante un conjunto de reglas. La aplicación de estas reglas permite inferir propiedades o teoremas que a su vez son útiles para generar nuevas propiedades.