2017-03-12 07:55:56
Вообще лучше бы на Григорий просветил, но проблема тут не в идентификации вроде, а в упорядочении.< ...
+ развернуть текстсохранённая копия
Вообще лучше бы на Григорий просветил, но проблема тут не в идентификации вроде, а в упорядочении.
Невозможно построить в общем случае конструктивную процедуру выбора элемента из любого подмножества.
Бесконечный перебор тут не катит.
Если бы в каждом множестве был наименьший элемент, то аксиома не нужна.
+ развернуть текст 
