>>951
ゲーテルの不完全性定理って知ってる?