Множество

- набор, совокупность, собрание каких-либо объектов, наз. его элементами, обладающих общим для всех их характеристич. свойством. "Множество есть многое, мыслимое нами как единое" (Г. Кантор). Это не является в полном смысле логич. определением понятия М., а всего лишь пояснением (ибо определить понятие - значит найти такое родовое понятие, в к-рое данное понятие входит в качестве вида, но М.- это, пожалуй, самое широкое понятие математики и логики). При этом можно либо дать перечень элементов М.- его перечисление, либо дать правило для определения того, принадлежит или нет данный объект рассматриваемому М.- его описание (впрочем, первое приемлемо, лишь когда речь идет о конечных М.). Для содержательного развития "наивной" множеств теории такого пояснения вполне достаточно, ибо для математич. теории существенны определенные соотношения между элементами М. (или между самими М.), а не их природа. При описании же тех М., к-рые могут быть элементами других М., во избежание т. н. антиномий, вводится, напр., термин "класс". И тогда, говоря более формально, теория М. имеет дело с объектами, наз. классами, для к-рых определено отношение принадлежности, а само М. определяется как класс, являющийся элементом нек-рого класса. В последнее время все более вырисовывается объединяющая роль теории категорий (и, в частности, понятия универсального множества), построение к-рой основывается на аксиоматической теории множеств, позволяющей рассматривать, напр., такие "большие" совокупности, как категория всех множеств, групп, топологич. пространств и т. д.