0077現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 垢版2018/02/10(土) 22:22:57.09ID:N325TWRA >>76 つづき >>46 >間違っている。証明可能である。仮定が偽であることを示せば証明したことになるからだ。 ここは、上記 >>74 ”「1 + 1 = 3 → √2は有理数」は真。”ご参照 >「定理1.7により、仮定 P’∧Q’2 は偽である」 >と書くだけ。これで証明が終わる。 ここは、上記 >>76 場合分けご参照。 なお、証明の場合分けに対し、その論法は典型的な循環論法だろう つづく