¿Hay alguna declaración probada que nos dice "No todos X satisfacer Y", pero son actualmente no X que no satisfacen Y?
¿Es necesariamente cierto que siempre hay contraejemplos explícitas? O hay declaraciones que sólo garantizan la existencia de tales contraejemplos, cuya construcción es imposible en ZFC.