Filosofía en español 
Filosofía en español

Independencia del sistema de axiomas

no figura

Diccionario filosófico marxista · 1946

no figura

Diccionario filosófico abreviado · 1959

Independencia del sistema de axiomas

Es una de las características de la axiomática (Método axiomático). Si de los axiomas que figuran en la base de un sistema deductivo ni uno es inferible de los demás axiomas aplicando las reglas de deducción del sistema dado, dicho sistema de axiomas se denomina independiente. En el caso contrario, el sistema de axiomas es dependiente. Desde este punto de vista, la investigación de un sistema axiomático, cualquiera que sea, no es sólo importante para la simplificación de la axiomática; también puede tener valor de principio. Así, el hecho de establecer la independencia del quinto postulado de Euclides en el sistema de axiomas de la geometría facilitó la creación de las geometrías no euclidianas.

Diccionario filosófico · 1965:238

no figura

Diccionario de filosofía · 1984