La expresión "para cualquier conjunto" requiere un lenguaje en el que los cuantificadores puedan abarcar no sólo a variables que representan elementos concretos sino también a relaciones o funciones.