きちんと読んでいなかったレスがあるので追記する。

>>27
＞これを、もとの定理1.7について見るに、
＞性質G“Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) − f(x)）/（y − x）｜< +∞ }”の補集合R−Bfが、
＞（稠密で）開区間の反例として存在しうるのか、あるいは、「例外的に補集合が空集合になる」のか？　そこは分らない。
＞（>>25で述べたように、Gδ−Fσ理論が当てはまるなら、反例として存在しうるように思う。）

お前がそこで言っていることは結局、

「定理1.7が命題として真なのか偽なのかは現状のスレ主には分からない」

ということである。どうやらこのバカタレは、当初の主張である「命題レベルで矛盾」を
ようやく取り下げたらしい。