>>111
> 思うと書いたのは婉曲表現だ

いや、そこじゃないって(苦笑

> 定義を証明することはその質から絶対にありえない

いろいろ変な勘違いをしているようだが、それは置いておくとして、
0=1でないのは、当たり前で、問題は結論が正しいか正しくないかではなく、
証明のプロセスのどこに誤りがあるのか？を見つけ出す事が重要なのだ、と
言う話をしてるんだけどねぇ。

結論が間違ってるからその証明は間違い、という思考では駄目なのだよ。
「間違い」と判断した「常識」の方が間違ってるかもしれないのだからね。