そもそも作者って不完全定理ちゃんと理解してるん?