> > いや、方程式がわからないとかいうだけで
> > 完全に解かれてる。
> それって完全じゃないんじゃ無いのかね？

ゲーデルの不完全性定理が示すように
ある命題の証明に必要な公理系が提示できなくても
その命題の真偽は保証できるぜヽ(´ー｀)ノしったか爆発

参考：2003/06/14(土)00時11分12秒