La verdad formal se entiende solo en el sentido de verdad lógica, como tautología, que no habla del mundo.