Sin duda ese último hecho constituye una ventaja, sin embargo, el uso de lógicas de segundo orden comporta ciertas dificultades: