En un sistema formal, proposición que puede establecerse a partir de los axiomas del sistema utilizando las reglas de inferencia del mismo.