Aparte de su carácter tautológico, esta teoría plantea cierto número de dificultades.

Los lógicos han formalizado el proceso de comprobación por el que se determina el carácter tautológico de estas proposiciones.