集合論とは、集合を中心に扱う数学の分野で、19世紀後半のドイツの数学者ゲオルク・カントール(1845 ~ 1918)によって創始され、その後の現代の数学分野に大きな影響を及ぼした。
また高校数学では、集合論の基礎的な一部とその前提知識として要求される論理がカリキュラムとして数学Aに導入されている。また高校数学では、集合論の基礎的な一部とその前提知識として要求される論理がカリキュラムとして数学Aに導入されている。逆に写像や、ベキ集合、商集合といった内容はカリキュラムから除外されている。
==数学史的な経緯とその後==