La lógica de predicados resuelve así el problema de la instanciación existencial.