КвантоФорум :: Recent Posts Голосов: 1 Адрес блога: http://quantoforum.ru Добавлен: 2013-05-02 14:40:55

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse

2017-03-12 07:55:56 (читать в оригинале)

Вообще лучше бы на Григорий просветил, но проблема тут не в идентификации вроде, а в упорядочении.

Невозможно построить в общем случае конструктивную процедуру выбора элемента из любого подмножества.
Бесконечный перебор тут не катит.
Если бы в каждом множестве был наименьший элемент, то аксиома не нужна.