En las teorías de conjuntos que permiten la comprensión sin restricción, podemos probar cualquier declaración lógica Y a partir del conjunto