Множество - что это такое? |
Множество — один из ключевых объектов математики, в частности, теории множеств и логики. Понятие множества обычно принимается за одно из исходных (аксиоматических) понятий, то есть не сводимое к другим понятиям, а значит и не имеющее определения. Однако, можно дать описание множества, например в формулировке Георга Кантора: Под «множеством» мы понимаем соединение в некое целое M определённых хорошо различимых предметов m нашего созерцания или нашего мышления (которые будут называться «элементами» множества M). Другая формулировка принадлежит Бертрану Расселлу: «Множество суть совокупность различных элементов, мыслимая как единое целое». Также, возможно косвенное определение через аксиомы теории множеств. В математической логике и дискретной математике часто употребляемый синоним множества — алфавит. Множество может быть замкнутым и незамкнутым, полным и пустым, упорядоченным и неупорядоченным, счётным и несчётным, конечным и бесконечным. Более того, как в наивной, так и в формальной теориях множеств любой объект обычно считается множеством. |
|