Se aplica el nombre de sistema a ciertas filosofías que ofrecen una consideración global del mundo, hombre, conocimiento, etc., expresada por una explicación estructurada en la que los conceptos se orientan hacia una idea que actúa como centro atractivo y matriz de todos ellos. En este sentido el ejemplo más consecuente de sistema es la filosofía de Friedrich Hegel. En un sentido más restringido, “sistema” en teoría de la ciencia (en teoría del conocimiento, lógica, matemáticas) indica el encadenamiento de teoremas que constituye una teoría. Este sistema, generalmente formalizado, exige: 1) un grupo de símbolos primitivos que constituirán su vocabulario; 2) la definición de fórmula en el sistema; 3) un grupo de fórmulas aceptadas o axiomas; 4) reglas de transformación; 5) un grupo de fórmulas obtenidas por aplicación de las reglas de transformación a los axiomas, llamadas teoremas. La demostración es un concepto importante del sistema, que permite...