とっちらかった言い方を増やしてごめんね

>>234
あ、なんかそれはすごく意義のあることのような気がする

>>235
背理法とは！と語れるぐらいは知らないけど、一応は知ってる。
でも無限小数書けるんだから、、という直感の逆（否定）の全単射を仮定してそれを
否定する、、それは証明というか冗長って言うやつな感じが