В данном случае такое доказательство тривиально
Кажется, мы ушли несколько в сторону. Я теряю нить разговора. Увы...
Доказательство
чего тривиально?
Доказательство того, что не существует множества всех множеств?
Доказательство того, что не существует множества всех "нормальных" множеств?
Что-то третье?
Если первое или второе - могу согласиться лишь с тем, что для человека,
уже знакомого с этим доказательством, оно действительно выглядит тривиальным. Потому что он может его легко воспроизвести - в силу краткости и прозрачности этого доказательства.
Но много ли людей найдёт это доказательство
самостоятельно? Без намёков и полунамёков?
Тем паче, много ли сообразит самостоятельно, что здесь вообще есть какая-то проблема? И нужно что-то доказывать?
Вероятно, нет. Что косвенно подтверждается и временем открытия парадокса Рассела.
Поэтому я бы не согласился с утверждением о том, что несуществование множества всех множеств (вариант: множества всех "нормальных" множеств) заранее очевидно.
P.S. "Конструктивное доказательство несуществования"... Интересное выражение. Впервые встречаю.