先日の記事で 「無矛盾」ならば「無矛盾であることが無矛盾」 であることが当たり前であるかのように書きました。 しかしながら 「無矛盾」なのに「無矛盾であることが矛盾」 であるような体系も存在しまぷ。 今日は、そのことについての話ですー。不完全性…