La dificultad que representa la formalización es que, frente a la lógica tradicional, ahora hay que usar expresiones de expresiones, o símbolos de símbolos, lo que definitivamente conlleva que la analogía es un género de expresiones equívocas.