Este trabajo arguye que la tesis Kripke-Putnam es ininteligible desde un punto de vista lógico formal, debido a que no es implementable ni en lógica de primer orden ni en lógica de segundo orden.