¿Todas las afirmaciones en lenguajes en lógicas de orden mayor que 2 tienen una sentencia equivalente en lógica de 2º orden?
Si es así, como se demuestra.
Lo he leído en una enciclopedia de filosofía, pero no entiendo la demostración, y no me fío demasiado de los filósofos (al menos cuando se ponen a hacer matemáticas), todo sea dicho
