Una demostración que haga uso de AE nunca es constructiva: aun si dicha demostración produce un objeto, será imposible determinar exactamente qué objeto es.