背理法についての質問です
√2が無理数であることを証明するとき
√2=m/n(m,nは整数)・・・*とおき矛盾を導きますが
これは*が偽であることを証明するのか、それとも*を
満たす整数解(m,n)が存在しないことを証明するのかどちらでしょうか？