Filosofía en español
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 filosófico · 1965:451
(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.
Diccionario de filosofía · 1984:419