例えば、√2が無理数だと示そうと思って、√2=n/mと整数の比で書けたと仮定するだろ、そっから実は存在しないmとnに関して延々と計算していくじゃん
存在しないものを存在したと仮定して計算して一体何が問題なの？