>>28
＞なお、命題「P’∧Q’2（開区間（a,b）⊂Bfが存在しない）→Q（ある開区間（a,b）⊂Bfが存在する）」は、
＞数学の定理として証明できない。これは、自明だと思うので、詳細は省略する。

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

https://rio2016.5ch.net/test/read.cgi/math/1514376850/26-30
https://rio2016.5ch.net/test/read.cgi/math/1514376850/47-48

の方針でも証明可能である。

ちなみに、「仮定が偽であることを証明する」という方針の場合には、
どのように証明が進むのかというと、

「定理1.7により、仮定 P’∧Q’2 は偽である」

と書くだけ。これで証明が終わる。