>>936
ちなみにそれは不完全性定理かなんかから導かれたんですか?