Verdad formal

Toda premisa que es consecuencia de un desarrollo correcto a partir de premisas que son axiomas tienen la categoría de verdad formal.
También todas las premisas que son desarrolladas de forma correcta a partir de premisas que tienen la categoría verdad formal, también lo son .