Поясним на знаменитом примере про брадобрея.
Правитель (вроде Петра I) повелел единственному брадобрею в своем царстве-государстве брить всех тех и только тех, кто не бреется сам. А наказание за ослушание – казнь. Вот брадобрей и бросился брить всех небритых. В конце-концов дошло до того, что он сам зарос бородой… Он взял бритву. Но если он начнет бриться, значит он бреется сам, а таких он брить не имеет права.
Отложив бритву, он понял, что он сам не бреется. Значит он должен взять бритву и… И что?! А ничего хорошего! Казнят бедолагу за нарушение приказа в любом случае!
С точки зрения теории множеств брадобрей в данном случае не смог определиться с (фундаментальным!) отношением принадлежности: включать или не включать себя самого в множество тех, кто не бреется сам.
То есть в основе теории множеств, которая претендует на роль фундамента ВСЕЙ математики, начальное базовое отношение принадлежности выкидывает такие фортеля, которые просто не позволяют создать некоторые из множеств!… Математики приняли единственное разумное решение: Договорились не создавать в рамках теории множеств такие множества, которые нельзя создать!
То есть теория множеств оперирует со всеми множествами, кроме тех, которые нельзя создать. Все эти множества, об'единенные в одно множество, называются УНИВЕРСУМОМ.
Лекция 2. БЕСКОНЕЧНОСТЬ БЫВАЕТ РАЗНАЯ
Самое интересное в теории множеств то, что она рассматривает не только конечные множества – множества, содержащие конечное число элементов, но и бесконечные, для которых даже понятие числа бессмысленно. То есть, теория множеств может рассматривать не только множество студентов в группе и множество березок в лесу, но и множество точек на прямой, и множество звезд на небе…
Основоположник теории множеств Георг Кантор именно из-за бесконечности попортил себе много крови, да так крепко попортил, что пришлось подключаться врачам-психиатрам. Хотя с бесконечностью математики до него уже давным-давно работали. Взять то же бесконечно большое множество точек на прямой или наоборот, бесконечно малые величины из высшей математики…