＞できない例って具体的にどういう場合を想定してるのか
＞いい加減教えてくれよ
「たくさん、あるんだから、その中にはあるんじゃね」って
感じの話だ。感想だけどね。

喩えて言えば「宇宙は広いから地球以外に生命体がいても、
いいんじゃね」というような感想。この場合、まだ、生命体
とかに一応の定義ができそうだから、まだ命題っぽいけど。
それに比べても、

＞普通に証明できてる定理は、『適当な』公理系で形式主義的に
＞証明可能

こっちは、全く命題になってないから、どうしようもない。どう
あがいても、感想だ。

もしも君が感想以上のことを言いたいなら、どうぞ言って下さい
よ。