7.Verdad en las proposiciones formales

Este tipo de proposiciones no se realiza por medios experimentales, ya que no dicen nada acerca de la realidad, del mundo;  por ello su verdad no puede consistir en la utilidad de su aplicación. Estas proposiciones son verdaderas cuando son coherentes y no entran en contradicción con el resto de reglas y principios del sistema matemático lógico. En resumen, esta verdad no es empírica, sino que es racional. Por ejemplo, el logaritmo de 10 en base 10 es 1. Como no hace referencia a la realidad del mundo, su verdad no lo podemos relacionar con éste.