>>564
＞無理数ではないこと（つまり有理数）を仮定して矛盾が得られたら
＞無理数と判断されるだろう
＞
＞●っちゃん、数学は無理だから精神科で診てもらって即、入院しろ
全体集合を実数直線Rで有理直線Qと無理数の全体 R＼Q とに分けて考えればいい。
その考え方は、或る実数aが有理数でないとして矛盾を導き、
aを無理数と結論付ける背理法の使い方と同じ筈だが。