>>318
具体的に「定理と公理系」を特定しなければ、
形式的に証明できるとか、できないとかが、
意味を持たないだろう。

ということは、「そういうものがある」という
のもただの感想だし、「そういうものがない」
というのもただの感想にしか過ぎないね。

君は感想を言ってるんだ。俺もだがな。自覚し
ようぜ