Un teorema es una afirmacin que puede ser demostrada dentro de un sistema formal. Demostrar teoremas es un asunto central en la matemtica.

Un teorema generalmente posee un nmero de premisas que deben ser enumeradas o aclaradas de antemano. Luego existe una conclusin, una afirmacin matemtica, la cual es verdadera bajo las condiciones dadas. El contenido informativo del teorema es la relacin que existe entre la hiptesis y la tesis o conclusin. Del latn theorma, un teorema es una proposicin que puede demostrarse de forma lgica a partir de un axioma o de otros teoremas que fueron demostrados con anterioridad. Este proceso de demostracin se realiza mediante ciertas reglas de inferencia.

El teorema es, por lo tanto, una afirmacin de importancia. Existen afirmaciones de menor rango, como el lema (una afirmacin que pertenece a un teorema ms largo), el corolario (la afirmacin que sigue de manera inmediata al teorema) o la proposicin (un resultado que no se encuentra asociado a ningn teorema en especfico). Cabe destacar que, hasta que la afirmacin no es demostrada, se denomina hiptesis o conjetura. Uno de los teoremas ms conocidos es el Teorema de Tales, que seala que, al trazar en un tringulo una lnea paralela a cualquiera de sus lados, se obtienen dos tringulos semejantes (es decir, tienen los ngulos iguales y sus lados son proporcionales). Otro teorema muy popular es el Teorema de Pitgoras, el cual establece que, en un tringulo rectngulo, el cuadrado de la hipotenusa (el lado de mayor longitud y opuesto al ngulo recto), es igual a la suma de los cuadrados de los catetos (los dos lados menores del tringulo rectngulo). Por otra parte, Teorema es una revista espaola de filosofa fundada por el profesor Manuel Garrido en 1971. La publicacin se edit de manera ininterrumpida hasta 1986, y despus volvi a editarse a partir de 1996. En la actualidad, Teorema se edita de forma cuatrimestral y, cada ao, presenta un suplemento titulado Limbo.

Axioma

A veces se compara a los axiomas con semillas, porque de ellos surge toda la teora de la cual son axiomas. Un axioma es una premisa que se considera evidente y es aceptada sin requerir una demostracin previa. En un sistema hipottico-deductivo, es toda proposicin que no se deduce de otras, sino que constituye una regla general de pensamiento lgico, por oposicin a los postulados.1 En matemtica, un axioma es una premisa que, por considerarse evidente, se acepta sin demostracin, como punto de partida para demostrar otras frmulas. Tradicionalmente, los axiomas se eligen de entre las consideradas verdades evidentes porque permiten deducir las dems frmulas. En lgica matemtica, un postulado es un proposicin, no necesariamente evidente: una frmula bien formada de un lenguaje formal utilizada en una deduccin para llegar a una conclusin. En matemtica se distinguen dos tipos de proposiciones: axiomas lgicos y postulados.
Axiomas

Los axiomas son ciertas frmulas en un lenguaje que son universalmente vlidas, esto es, frmulas que son satisfechas por cualquier estructura y por cualquier funcin variable. En trminos coloquiales, son enunciados que son verdaderos en cualquier mundo posible, bajo cualquier interpretacin posible y con cualquier asignacin de valores. Usualmente se toma como axiomas un conjunto mnimo de tautologas que son suficientes para probar una teora. Dentro del campo de la epistemologa, un axioma es considerado como una verdad evidente que no requiere demostracin, esto se debe a que justifica a s misma, y adems sobre esta misma se construye lo que se conoce como el resto de los conocimientos por medio de la deduccin. Por otra parte es importante destacar que no todos los epistemlogos estn de acuerdo con esta definicin, que se considera como clsica. El axioma, se halla girando sobre s mismo, mientras que los postulados y conclusiones posteriores son los que se deducen de este. En el rea de la matemtica, un axioma no es necesariamente una verdad evidente, sino que se refiere a una expresin lgica que es utilizada en una deduccin para llegar a una conclusin. La lgica del axioma es partir de una premisa calificada verdadera por s misma e inferir sobre esta otras proposiciones por medio del mtodo deductivo, obteniendo conclusiones coherentes con el axioma.