中学数学に出てくる√2が有理数ではないことの証明がおかしいと思いませんか？
これを証明したいなら単に有理数を2乗すると2にはならない、つまり有理数は√2
にはならないことを言えばいいだけでしょ。
それをわざわざ「√2を有理数と仮定する。でも有理数は√2にならないから矛盾した。
したがって背理法の仮定√2は有理数は否定される。」ってなんか馬鹿っぽくね？
1+1＝2を言うのに「1+1＝2ではないと仮定する。でも1+1＝2だから矛盾、したがって
背理法の仮定1+1＝2ではないは否定される。」って言うのとほとんど同じだよね。