Pero la definición del conjunto requiere una propiedad (lógica), como clase, bien como contenido de experiencia o bien como axioma conceptual en una teoría previa.