ゲーデルの不完全性定理とかプログラミングに関係ないぞ