Los teoremas son aquellas fórmulas que se deducen de los axiomas a través de las reglas de inferencia en un número finito de pasos.