>>80
こちらこそレスどうも

＞具体的に、どんな前提があったのか、例を挙げてもらえませんか？
ご自身の例もだされて、恐縮なのですが、面倒な例であることと、
いちいち例をだすと、多少困ることがありますので、近い話を
だしましょう。

ブラウアーが、無限集合についての背理法を否定していますね｡
それは、背理法の根拠が排中律である以上。それはアリストテレスに
よるものなのですから、アリストテレスの有限集合に関する制限を
当然うけるわけです。こういうところが、数学のいいかげんなところでは
ないかと、ブラウワｰは指摘したわけです。

＞無限小数が実数に属するという証明というのは、
＞本当に「証明」されていましたか？
ええ、それはまちがいなく。
＞解析入門の最初の方の、
＞どうでも良い「お話」の部分かと思われます。
いや、実数論にはいってからの、れっきとした証明です。