アルゴリズムを作るアルゴリズムは自分を定義できるか

　自身が不完全であると自身が証明できないならば、自身が完全であることも自身が証明できないだろう。

　飛躍してしまうがアルゴリズムにも同じことが言えると思う。