22/01/16 17:54:11.32 .net
>>283
>松坂和夫 1968は、素朴集合論をちょっと後ろめたく書いてある
>（例えば、P293 あとがきで
> 「実は、このnaiveな定義は数学的にはななだ不完全で、
> この定義からはいろいろ不都合なことが出てくる」
> などと書かれている
> またP295
> 「集合論を矛盾なく建設する目的から、
> 現代数学の他の諸部門と同様に、
> 集合論を公理的に展開しようとしたのが、
> Zermelo,Fraenkel,Von Neumann,Godelなどの公理的集合論である
> （最近ではさらにGrithendieckやMacLaneなどの考案もある）」とも）
松坂は代数学者だから、集合論の公理を正確に理解してないだけで
「集合・位相入門」に書かれてることなら、ZCレベルで十分である