El hecho de que estos dos teoremas, muy útiles en ciertas aplicaciones, no se pueden generalizar a una lógica de segundo orden reducen la utilidad para esas aplicaciones de las lógicas de segundo orden.