>>679
今は形式主義の論理で研究が行われていて、
基本中の基本に従った考え方をしているから、見せる必要はない。
実数体Rでは、有理数「でない」ことは無理数「である」ことと同じ。
そのまま論文(か何か)にすれば済む。