bulygin69 писал(а):
... Не по сеньке шапка а, Цезарь?
Согласен, вам как Сеньке не стоит надевать эту шапку.
bulygin69 писал(а):
Об объектах в множестве, которые попарно различны...
Чтобы не тащить длинное (произвольно выбранный объект, который попарно различичен с другими объектами) мы его имениуем числом 1. Чтобы не тащить другое длинное (произвольно выбранный объект, за исключением уже выбранного объекта, который попарно различичен с другими объектами) мы его имениуем числом 2. И т.д.
(Жирнее/еще жирнее) ...(глупее/еще глупее), как в вашем случае - тоже попарно отличающееся. Где есть различия - там есть число.
В задачке про окна, Цезарь, можно считать и от стенки ... и переставлять окна ... но РАЗЛИЧИЕ между ними все-равно будет в том, что они расположены в разных местах и РАВНЫ они будут в том, что они они - окна (без учета расположения)
Похоже до вас так и не дошло, что простое наименование предметов не приведет к натуральному ряду. Множество это ПРОСТО объединение попарно различных объектов: им до цифр, как вам раком до Луны, нужно наложить еще ряд дополнительных условий.
Натуральный ряд это алгебраическая система Пеана, а именно упорядоченная тройка (S,F,1), где S - множество; F - функция на S, относительно которой S замкнута; 1 объект множества S, обладающий особым отличающий его от других объектов S свойством (см. ниже св-во 1.). И эта система (S,F,1) должна обладать тремя свойствами:
1. ∀x∈S: F(x)≠1
2. ∀x,y∈S и F(x)=F(y) ⇒ x=y
3. ∀A⊆S, 1∈A и A обладает свойством (x∈A ⇒ F(x)∈A) ⇒ (A=S)
Вот это и есть то что в простонародье называется натуральными числами.
Далее, еще раз множество {a,b,c,d}={b,c,d,a}. Это тоже до вас никак не дойдет.
bulygin69 писал(а):
P.S. С задачкой склероз?
Напоминаю: нужно преобразовать определение парадокса Рассела,
(употребляя ТОЛЬКО слова из этого определения)
чтобы противоречие выглядело более выпукло
и чтобы можно было перейти к теории типов.
Я же вам уже ответил на этот вопрос, поэтому склероз как раз у вас:
Цитата:
У Рассела нет парадокса в теории множеств ZFC - множества не могут при построении ссылаться сами на себя, а вы все время пытаетесь строить конструкции не соответствующие определениям.
Потом еще, я на старом форуме уже объяснял вам как строятся множества. Ну могу еще раз. Пусть А любое множество, тогда {А} это совсем другое множество притом гарантированно состоящее только из одного элемента, а именно из элемента А. Надеюсь вам теперь понятно почему А#{А}.
И выпуклость я сейчас вам еще и подчеркиванием добавил - теперь заметили?