その前に、ちゃんとした第二不完全性定理のステイトメントくらい書いてやれよ……