Neblux 知識グラフ
集合論
集合論は数学の基礎的分野であり、対象の集まりとその間の演算――和集合、積集合、補集合、帰属関係――を形式的に定義することで、他のほぼすべての数学的構造を記述するための普遍的言語を提供する。
概要
カントールが可算集合と非可算集合が基本的に異なる濃度をもつことを発見したことは数学を一変させる突破口となり、無限が単一の概念ではなく尽きることのない階層であることを示した。ラッセルのパラドックスが素朴な集合形成の矛盾を露わにした後、選択公理を含むツェルメロ＝フレンケル公理系が標準的な厳密な基礎として構築された。
なぜ重要か
集合論は普遍的な形式的基盤を供給することで現代数学と論理学を根本的に形成した。他の公理から独立した選択公理は数学的真理と存在に関する深い哲学的問いを提起し、数学の哲学に今なお影響を与え続けている。