√2が無理数であることを直感主義論理を用いて証明せよ、という問題がわかりません
よろしくお願いします