無理数が存在しないことを証明したんだが・・・

[0011 １３２人目の素数さん 2018/11/25(日) 15:39:15.06 ID:2EI2BO7n]

無理数が存在することの証明は無理数が存在することを暗黙のうちに
前提にしているので、トートロジーなんですよ。