でも不完全性定理や統計力学については、まだまだ深いレベルでは
わかってないと言っていいからな。そういう意味では気持ち悪くもあり面白くもある
例えば環論も終わったわけではなく、IUT抜きにしてもまだ基本部分が解明されてない
何故スキーム論ではHasse-Weil予想が解けないのかっていう問題がある