>>76 つづき

>>46
>間違っている。証明可能である。仮定が偽であることを示せば証明したことになるからだ。

ここは、上記 >>74 ”「1 + 1 = 3 → √2は有理数」は真。”ご参照

>「定理1.7により、仮定 P’∧Q’2 は偽である」
>と書くだけ。これで証明が終わる。

ここは、上記 >>76 場合分けご参照。
なお、証明の場合分けに対し、その論法は典型的な循環論法だろう

つづく