Определение множества Георгия Кантора: «Под множеством мы понимаем любое объединение в одно целое 
определенных вполне различаемых объектов 
нашего восприятия или мысли (которые называются «элементами» )».
Однако такое определение иногда приводит к парадоксам, которые делают теорию противоречивой. О некоторых из них мы поговорим ниже. Канторовскую теорию множеств в том виде, в котором она исторически сложилась и в котором она порождает парадоксы, называют «наивной» теорией множеств. В дальнейшем мы согласимся с канторовским определением множества, и будем руководствоваться интуитивными представлениями о понятиях «объединение», «различаемость», «индивидуальный объект», «единое целое» и т.д.
