レス数が1スレッドの最大レス数(1000件)を超えています。残念ながら投稿することができません。
「集合・位相入門」輪読会
-
>>589
そういう致命的な欠陥を根本から見直し、集合の基礎付けを
やり直そうとして生まれたのが公理的集合論です。
ツェルメロ、フレンケル、スコーレム等によって前世紀初めに建設されました。
「集合｣と「属する｣を無定義語にして無限集合の存在を有無を言わせず
公理にしてしまって。
以来ツェルメロ、フレンケルの公理系(ZF)に選択公理(AC)を付け加えた
公理系(ZFC)は現代の数学の基礎となる公理系として標準的に採用されています。
これ以上はいわばスレ違いということで。
こういった話をする場として数学基礎論という分野がありますので、
興味がおありならいずれ台地くんがスレ主になって、
テキストも決めて、この板で輪読会をよびかけてはいかがですか。
掲示板管理者へ連絡
無料レンタル掲示板
