>>180
そもそも証明可能性述語が算術的に記述できないような理論だったら
理論の中に埋め込みできないので意味がない(笑)