16/07/24 14:00:55.77 FvwRWNCJ.net
>>192 つづき
（下記ご参照）
URLﾘﾝｸ(oshiete.goo.ne.jp)
測度論の非可測集合って何？ 質問者：mori0309 質問日時：2000/12/14
No.1ベストアンサー 回答者： stomachman 回答日時：2000/12/15
(抜粋)
数学の公理のひとつに、選択公理というものがあります。すなわち「選択公理：与えられた集合の中から、要素をひとつ選び出すことができる。」当たり前みたいな話でしょう？でもこの公理を使うと「（どうやってかは知らないけど）委員を選ぶことができる。そこで...」と論を進められます。
そしてその結果、「非可測集合」や「バナッハ-タルスキーの定理」など、へんてこなものが出てくる。でも、選択公理を拒絶すると、数学のパワーがまるで弱くなる。証明できることがもの凄く少なくなってしまう。数学のかなりの部分（しかもおいしいミソの部分）は選択公理がないと成り立たないんです。
（「選択公理なしでどこまで行けるか」という研究分野があるからこそ、こういう事が分かったんです。）
●こういった話は、数学基礎論（「基礎的な数学」ではなく、数学の基礎となる前提に変なところはないか、などを研究する分野）です。
「超限集合論」「選択公理」「連続体仮説」「不完全性定理」などなどについて、色々一般向けの解説書が出ていますが、著者ごとに説明の仕方（読者から見れば疑問のポイント）が違いますので、乱読をお勧めします。
ちなみにStomachmanが数学基礎論と出会った最初の書物は「(島内剛一)数学の基礎」（既に絶版）でした。