Припустимо, що до першого, тодi M 6∈ M, але ж за означенням елементами
M є всi множини з першого класу, отже, M належить другому класу. Тодi
M ∈ M, але множина M складається тiльки з множин першого класу, отже,
M належить першому класу.
На початку 20-го сторiччя цей парадокс викликав сумнiви у самих основах
математики. Причиною виникнення цього парадокса є те що наївне означення
дозволяє оперувати з елементами довiльної (невизначеної) природи.
Одним iз шляхiв подолання парадоксу є так звана теорiя типiв.
i) елементам (об’єктам) приписується тип 0;
ii) множинам елементами яких є елементи типу 0 приписується тип 1;
iii) множинам елементами яких є множини 1-го типу приписується тип 2;
iv) множинам, елементами яких є множини типу k приписується тип k+1, k =
1, 2, 3, . . . .
Згiдно цiєї теорiї слiд розглядати лише множини, якi мають певний тип.
Залишаючись в рамках наївної теорiї множин, введемо деякi поняття i озна-
чення.
Означення 3.1.1. Двi множини називають рiвними (A = B), якщо вони
складаються з однакових елементiв. Якщо всi елементи множини В є еле-
ментами множини А, то В називають пiдмножиною множини B ⊆ або
A ⊇ B, якщо при цьому iснує елемент a
∗
, який не є елементом , a
∗
6∈ B то
називається власною пiдмножиною B ⊂ A.
Очевидно, що {a, b, c, d} = {d, c, b, a} . Зауважимо, що запис a ⊂ {a, b, c, d}
не є правильним. Правильними будуть: a ∈ {a, b, c, d} або {a} ⊂ {a, b, c, d}.
Доведення рiвностi A = B двох множин можна провести в два кроки:
1. довести, що A ⊆ B, для чого слiд довести, що виконується ∀x (x ∈ A ⇒ x ∈ B) ;
2. довести, що A ⊇ B, , для чого слiд довести, що має мiсце ∀x (x ∈ B ⇒ x ∈ A) ;
У будь-якiй задачi зручно вводити поняття унiверсальної множини Ω такої,
що всi множини, якi розглядаються в задачi, є її пiдмножинами, а також множи-
ни, що не мiстить жодного елемента ∅ (порожньої множини), яка скрiзь позна-
чається . Надалi Ω буде фiксованою множиною. Кiлькiсть елементiв множини
A будемо позначати |A| . Для множини з нескiнченною кiлькiстю елементiв
будемо писати |A| = ∞.
Поняття функцiї в математицi є не менш важливим. Нагадаємо означення
пов’язанi з цим поняттям.
47