「現実には有理数しか存在しない事が分かる」を言いたいのに
「現実には有理数しか存在しない」を前提にしたら意味ない。
論理学とか関係ねーよ
バカなの？