0282考える名無しさん垢版 | 大砲2024/04/29(月) 02:15:05.300 >>278 だって、ZFC公理系であっても、「そもそもゲーデル不完全性定理は記号で論理式を書くことが可能かどうかのレベルから疑っている」のだーってことになるんやろ。意味わかる?だから、書けるとは限らんのやろ。だから、ZFC公理系もかけないはずだよ。おまえがスレを荒らす論理と同じように。 一方はそれで記述できないと妄想で一方は記述できないものなんだ。