La skolemización es una aplicación de la equivalencia (aplicación perteneciente a la lógica de segundo orden).