集合論（しゅうごうろん、, , ）は、集合とよばれる数学的対象をあつかう数学理論である。通常、「集合」はいろいろな数学的対象の集まりを表していると見なされる。これは日常的な意味でのものの集まりやその要素、特定のものが入っているかいないか、という概念を包摂している。現代数学の定式化においては集合論がさまざまな数学的対象を描写する言葉をあたえている。（論理や述語論理とともに）集合論は数学の公理的な基礎付けをあたえ、数学的な対象を形式的に（無定義語の）「集合」と「帰属関係」によって構成することが可能になる。また、集合論の公理として何を仮定するとどんな体系が得られるか、といった集合それ自体の研究も活発に行われている。集合論における基本的な操作には、あたえられた集合のべき集合や直積集合をとる、などがある。また二つの集合の元同士の関係（二項関係）を通じて定義される順序関係や写像などの概念が集合の分類に重要な役割を果たす。集合論では二つの集合はそれぞれの集合の元の間に全単射が存在するとき濃度が等しいという。そこで集合を濃度の等しさによって類別した各々の同値類のことを濃度という。この定義では濃度は真のクラスになってしまうので、濃度そのものを集合論的な対象として取り扱い難い。選択公理を仮定すると任意の集合は整列可能であることが導かれる。整列集合の順序型を順序同型で類別した各々の同値類と定義してしまうと、それは真のクラスとなってしまう。幸いなことに任意の整列集合は順序数と呼ばれる特別な集合（を帰属関係で順序付けしたもの）と順序同型となる。そのためそれら順序数を整列集合の順序型と定義することができる。また順序数全体 formula_1（これは真のクラスになる）もまた整列順序付けられている。以上のもとで、集合の濃度をと定義することができる。すなわち濃度というのを特別な順序数として定義するわけである。このようにすることで濃度の定義から真のクラスを追放することができる。ただし選択公理を仮定することなく濃度を定義し取り扱うことはできる。基本的なアイデアは濃度で類別した各々同値類から累積階層の意味で階数が最小なものだけを分出するというものである。詳細はを参照。集合論の初期の段階では、集合は「普通の意味での」ものの集まりとして導入され考察された。この見方を現在では素朴集合論（そぼくしゅうごうろん、naive set theory）という。これは集合を理解する上で最もわかりやすい考え方であるが、べき集合などの強力な操作によってパラドックスとも言える状況が現れてしまう。パラドックスの有名なものとしては、以下のものがあげられる。その後にパラドックスを解消すべく建設された公理的集合論 では集合や帰属関係の概念はそれらの性質を取り出した記号論理学的な公理系によって間接的に定義される。この捉え方においては集合と帰属関係はユークリッド幾何学の点や線のような根源的な概念で、それ自体は他のものを用いて定義されることはない。なお、実際には数学を行う上では、集合を素朴集合論の立場で理解しておけば十分なことが多い。実際、集合論を学び始めるときは、パラドックスには目をつぶりつつ素朴集合論から始めることが普通である。ゲオルク・カントールによるフーリエ級数の研究において、実直線上の級数がよく振る舞わない点を調べる過程で集合の概念が取り出された。彼はやがて有理数や代数的数のなす集合が可算であるという結果を得て、それをリヒャルト・デーデキントとの書簡の中で伝えている。そこでは実数についてもこれが成り立つかという問題に取り組んでいること、どうやらそうではないらしいことが述べられている。それからわずか数週間で、彼は実数が可算でないということについての証明を得る（カントールの対角線論法）。その後、彼は数直線 R と平面 Rの間に全単射があるかという問題に取り組んで、3年にわたる研究の結果、それらの集合の間に全単射が存在することを示した。彼はその証明を伝えたデーデキントへの（ドイツ語の）書簡の中で、有名な 「私にはそれが見えるが、しかし信じることができない」という（フランス語の）言葉を書き残している。実数集合の持つ超越的な性格は同時代の数学者の一部のあいだに揺籃期の集合論そのものに対する拒否反応を巻き起こした。カントールの師レオポルト・クロネッカーによる否定（カントールの人格までも否定したほどだった）はカントールに影響を与えることになった。ツェルメロによって選択公理とその帰結としてすべての集合上に整列順序関係が入るということがはっきりさせられた。選択公理の意味するところやその妥当性についてはルベーグとボレル、ベールの間の議論などに代表されるように数学者たちによる活発な議論の的となった。一方で、カントールが頭を悩ませつづけた連続体仮説：「実数集合（自然数集合のベキ集合との間に全単射がある）は自然数集合の次に大きい集合であるか？」は、クルト・ゲーデルとポール・コーエンの業績によって（ZFCそれ自体が矛盾を含まない限り）ZFC公理系からは証明も反証もできないことがわかった。集合論以前の数学は、数であるとか方程式であるとかあらかじめ与えられた数学的対象の性質を研究する、という性格が強いものだった。集合論以降は問題にしている数学的な現象をよく反映するような「構造」を積極的に記号論理によって定義し、その構造を持つ集合について何がいえるかを調べる、という考え方が優勢になった。とくに20世紀に入ってからの抽象代数学や位相空間論では様々な新しい数学的対象が集合の道具立てを用いて積極的に構成され、研究された。このパラダイムはニコラ・ブルバキによる「数学原論」においてその頂点に達したと見なされている。一方で、さまざまな数学の問題に対応した構造を理解するときには、個々の対象が具体的にどんな集合として定義されたかということよりも、類似の構造を持つほかの数学的対象との関係性の方がしばしば重要になる。この関係性は対象間の写像のうちで「構造を保つ」ようなもの（しばしば準同型と呼ばれる）によって定式化される。このような考え方を扱うために圏論が発達した。集合論の著しい特徴は集合間の写像たちまでが再び集合として実現できることだが、こういった性質を圏論的に定式化することで集合論の圏論化・幾何化ともいうべきトポスの概念がえられる。

出典:wikipedia