Si no es posible definir un ejemplo único de un tal conjunto a cada paso, puede ser necesario invocar el axioma para elegir uno.