集合論
集合論の初期の段階では、集合は「普通の意味での」ものの集まりとして導入され考察された。この見方を現在では素朴集合論(そぼくしゅうごうろん)という。 これは集合を理解する上で最もわかりやすい考え方であるが、「普通の意味での」ものの集まりを以下の内包公理で定式化すると、パラドックスが現れてしまう。
任意の性質 P ( x ) {\displaystyle P(x)} に対して、 P ( x ) {\displaystyle P(x)} を満たす元 x {\displaystyle x} の集合 { x | P ( x ) } {\displaystyle \{x|P(x)\}} が存在する
パラドックスの有名なものとしては、以下のものがあげられる。
集合論(しゅうごうろん、英語: set theory)は、集合とよばれる数学的対象をあつかう数学理論である。
通常、「集合」はいろいろな数学的対象の集まりを表していると見なされる。これは日常的な意味でのものの集まりやその要素、特定のものが入っているかいないか、という概念を包摂している。現代数学の定式化においては集合論がさまざまな数学的対象を描写する言葉をあたえている。集合論は数学の公理的な基礎付けをあたえ、数学的な対象を形式的に「集合」と「帰属関係」によって構成することが可能になる。また、集合論の公理として何を仮定するとどんな体系が得られるか、といった集合それ自体の研究も活発に行われている。
集合論における基本的な操作には、あたえられた集合のべき集合や直積集合をとる、などがある。また二つの集合の元同士の関係を通じて定義される順序関係や写像などの概念が集合の分類に重要な役割を果たす。集合論では、二つの集合の間に全単射が存在するとき濃度が等しいという。そこで集合を濃度の等しさによって類別した各々の同値類のことを濃度という。