俺って不完全性定理かもしんないwww