There is no proof of Pっつーかゲーデルのアレについて先生に聞いてみたんだけど、まぁ俺の理解の大筋はあってるようで、ロジックではP∧~Pになるらしいんだけど、Pが正しかった場合、つまりステイトメントのプルーフが無いということが本当の場合、それ自体…