История изменений
Исправление cvs-255, (текущая версия) :
Разъясню еще раз:
Определим условие «интересный»: объект X - интересный, если X принадлежит пустому множеству.
Затем мы начинаем перебирать все возможные X, в поисках тех, которые окажутся интересными.
Мы их не найдем, так как никакой объект пустому множеству не принадлежит. Из чего мы сделаем вывод, что объектов со свойством «интересный» нет.
Но само свойство «интересный» существует, и выше оно приведено. Явная демонстрация чего-либо - достаточно для подтверждения его существования. Таким образом, свойство «интересный» существует, а объектов с этом свойством нет.
Исходная версия cvs-255, :
Да.