>>88
＞あなたも、おかしいとおっしゃったのだから、どうおもったの
＞か書いてもらえませんか。
私が、おかしいと主張したのは、
＞解析入門の最初の方の、
＞どうでも良い「お話」の部分
です。

＞小平邦彦氏の理論構成がおかしいということです。
解析入門の理論構成については、私は、形式的な立場からは、
内容の是非については確認しておりません。
ですが、形式論理を勉強する前に解析入門を読んだ限りでは、
あくまで私自身の素朴な知識に基づいての判断でしたが、
少なくとも、実数論の理論構成には、おかしな部分は、見受けられませんでした。

第一、理論構成といっても、解析入門は、素朴な論理・集合概念に基づいて
かいてあります。少なくとも、形式論理に基づいた定式化は、
explicite には、なされていない、と思います。
ですので、ネット難民さんが、おかしい、と感じる部分は、
確かにあるのかもしれません。
少なくとも、排中率を認めない立場を取るのであれば、証明が無効になる部分は、
たくさんあると思います。