Teorema

Un teorema es una fbf que se ha probado o se puede probar. Los teoremas, con frecuencia, son proposiciones no inmediatamente evidentes que se deducen de los axiomas. Por tanto, un teorema es cualquier fbf deducida a partir de axiomas o de otros teoremas mediante reglas de inferencia válidas. Se puede ver a los axiomas como casos particulares de los teoremas; así, se puede definir un axioma como una demostración de cero premisas. Notación: ::A (A es un teorema); por ::_SA (A es un teorema en el sistema S). (Véase axioma, cálculo, inferencia, prueba, regla de inferencia, validez sintáctica).

Proposición que afirma una verdad demostrable, es un enunciado de una propiedad o proposición seguida de una demostración, es el resultado de un estudio matemático o de un sistema formal.