Непредикативность определения супремума

[grizzly]

ex-math

(Оффтоп)

Прошу извинить если что... Я смотрю, как здесь принято и стараюсь не перегибать, но не так-то просто. Вот подберу аватарку подходящую, станет проще :)

Xaositect
Спасибо за ссылку. Похоже, действительно будет интересно.