Наївна теорія множин
З Вікіпедії, безкоштовно encyclopedia
Наївна теорія множин — одна з декількох теорій множин, в якій описуються фундаментальні складові математики.[1]. Термін було популяризовано завдяки книзі Пола Халмоша «Наївна теорія множин» (1960). Неофіційний зміст цієї теорії підтримує обидва аспекти математичної теорії множин: як ті, що відомі з дискретної математики (наприклад, діаграми Венна та їх символічний розгляд у Булевій алгебрі), так і більш «повсякденні» поняття теорії множин, що використовуються більше у сучасній математиці.
Множини відіграють велику роль в математиці. По суті, у багатьох сучасних формальних операціях більшість математичних об'єктів (числа, відношення, функції і т. д.) визначені в термінах множин. Наївна теорія множин може розглядатися як трамплін для розуміння більш формальних процедур і також для багатьох інших цілей.