Por otro lado, el solo hecho de que se haya usado AE para demostrar la existencia de un conjunto no significa que no pueda ser construido por otros métodos.