06/11/26 19:02:43
＞どう思われますか？
それは「公理系に関係なく」定理であると主張していた人に聞いて下さい。
そういう人は多くないと思いますが。
前スレ676に対して反発があったのは、数学のことを良く分かってなさそうな人だから
多分矢野健太郎の主張を何か誤解してるんじゃないのか？
その文章の前後の文脈はどうなっているのだろうか？と思った人が多かったからです。
そう思われるだけのとんでもないレスがありましたから。
大体矢野健太郎の本に
「公理系の取り方によっては」定義になるなんて書いてましたか？
公理系によって定理にもなり得るなんていう事は書いてなかったでしょ。
>>169のような受け取り方なら矢野健太郎は
「いかなる公理系の取り方の下でも」定理になる、と言っていたことになりかねません。
でも実際は多分、単に
「定義なのだから、どうやって証明するのかなどと考えるのは無意味である」
とかそういうことが書いてたんじゃないですか？
「負掛ける負は正」のような命題は公理とほぼ同レベルの基本的な命題だから、
「公理系を指定せずに、ただ「負かける負は正」を証明しようと考えても
あまり意味は無い」（前スレ675）という意味で書いたんじゃないか、と思いますけどね。私は。