完全性定理

プロセスやシステムが完全であることは証明できないのだから、完全であることを求めるんじゃなくて正常であることを求めるようにするほうがいいのかな。