Поняття множини відіграє велику роль у сучасних математичних дослідженнях. Саме на цьому понятті базуються такі науки, як теорія чисел, математична логіка, дискретна математика та багато інших, причому воно настільки загальне, що дати йому неописове означення, яке б не зводилося до поняття "сукупність" ("зібрання", "група" тощо) об'єктів будь-якої природи - елементів множини, дуже важко.
Наведемо класичне тлумачення поняття множини, яке належить одному із засновників теорії множин - Г. Кантору.
Означення. Множину розумітимемо як "сукупність елементів, що тлумачиться та розглядається в цілому".
Це описове означення базується на нематематичному понятті "сукупність" і не є цілком строгим. Усі вимоги щодо строгості задовольняє аксіоматична теорія множин (в якій поняття множини є первісним, неозначуваним) - система правил побудови множин та виконання дій із ними.
|