es una proposici贸n que afirma una verdad demostrable. Es una fbf que puede ser demostrada dentro de un sistema formal, partiendo de axiomas u otros teoremas.
Una fbf A es un teorema de L syss A se sigue de los axiomas de L, si los hay, mediante las reglas de inferencia de L. (Haack, 1978).