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

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

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