>>608

つづき

https://ja.wikipedia.org/wiki/%E9%9B%86%E5%90%88%E8%AB%96
集合論
(抜粋)
素朴集合論と公理的集合論
集合論の初期の段階では、集合は「普通の意味での」ものの集まりとして導入され考察された。この見方を現在では素朴集合論（そぼくしゅうごうろん、naive set theory）という。 これは集合を理解する上で最もわかりやすい考え方であるが、べき集合などの強力な操作によってパラドックスとも言える状況が現れてしまう。 パラドックスの有名なものとしては、以下のものがあげられる。

その後にパラドックスを解消すべく建設された公理的集合論 (axiomatic set theory) では集合や帰属関係の概念はそれらの性質を取り出した記号論理学的な公理系によって間接的に定義される。この捉え方においては集合と帰属関係はユークリッド幾何学の点や線のような根源的な概念で、それ自体は他のものを用いて定義されることはない。
なお、実際には数学を行う上では、集合を素朴集合論の立場で理解しておけば十分なことが多い。実際、集合論を学び始めるときは、パラドックスには目をつぶりつつ素朴集合論から始めることが普通である。

数学にあたえた影響
このパラダイムはニコラ・ブルバキによる「数学原論」においてその頂点に達したと見なされている。

一方で、さまざまな数学の問題に対応した構造を理解するときには、個々の対象が具体的にどんな集合として定義されたかということよりも、類似の構造を持つほかの数学的対象との関係性の方がしばしば重要になる。この関係性は対象間の写像のうちで「構造を保つ」ようなもの（しばしば準同型と呼ばれる）によって定式化される。
このような考え方を扱うために圏論が発達した。集合論の著しい特徴は集合間の写像たちまでが再び集合として実現できることだが、こういった性質を圏論的に定式化することで集合論の圏論化・幾何化ともいうべきトポスの概念がえられる。
(引用終り)
以上