Teorema
No figura en el Diccionario filosófico marxista · 1946
No figura en el Diccionario filosófico abreviado · 1959
Diccionario filosófico · 1965:451
Teorema
En la lógica formal moderna y en la matemática, cualquier proposición
de cierta teoría rigurosamente estructurada (por ejemplo,
axiomáticamente), que se demuestra (o se infiere) mediante la
aplicación, a sus axiomas, de las reglas de inferencia admisibles.
Los conceptos de “axioma” y de “teorema” son relativos: unas mismas
proposiciones de una teoría dada en unos casos, pueden tomarse en
calidad de axiomas y en otros pueden demostrarse como teoremas. La
división absoluta de las proposiciones de una teoría en axiomas y
teoremas sólo es posible en el marco de un sistema concreto.
Diccionario de filosofía · 1984:419
Teorema
(gr. theoreo: estudio, medito): en lógica formal y matemáticas
modernas, cualquier proposición de una teoría deductiva (por ej.,
axiomática) rigurosamente estructurada, que se demuestra sobre la base
de la aplicación a las tesis de partida de esta teoría (axiomas) de
las reglas de inferencia admisibles. La distinción entre los axiomas
y los teoremas es convencional: las mismas proposiciones de alguna
teoría pueden ser aceptadas en unos casos como axiomas, mientras que
en otros tienen que ser demostradas como teorema. En virtud de ello,
a los teoremas se refieren a menudo también los axiomas.