＞「数学者によって証明されている定理」の
＞ほとんどは「形式的にも証明できる」だろう、という予想
に対する反例になると考えているのかな？

はあ？反例って、予想って書いたけどさ、これは
数学的な定理じゃないよね。

「ほとんど」ってあるよね。これって、数学的な
定義になってないじゃんか？

だから、この予想って書いたけど、これはただの
感想だから。反例も証明もあるわけない。人それ
ぞれの感想だからさ