19/03/12 22:31:05.85 uuICzLx2.net
>>200
つづき
もっと言えば、この公理は
強すぎる
のではないのか、という疑いが強いわけである。なぜ、こんな公理が用意されたのか？ それは、上記の「矛盾」を回避するためであった。つまり、いろいろと分かっている「矛盾」を回避しながら、かつ、
今ある「全て」の数学を成立させる
ための「基礎」となる公理はなんなのか、として「探された」結果として、この姿があるわけで、少しも「直感的」な理由から選ばれていないわけである。
もちろん、このＺＦＣが矛盾がないのであれば、それでいいと言えるのかもしれない。しかし、矛盾がないことはゲーデルの不完全性定理から、それが言えると考えることには限界があることが分かっている。しかし、とりあえず今のところは矛盾は見付かっていない。だったら、これでいいんじゃないかと考えるかもしれないが、�