世界的にはこうなのかな
確かに岡の解いた問題は当時の難問ではあったが、
その結果そのものは、数学全体を流れる
層やスキームのような考えからすれば、
多くある結果のひとつになってしまい、
カルダンらは、岡の結果を素材にして、
層の理論をつくった。岡の結果は、
今となっては、層の理論の応用例にすぎなく、
重要なのは層の理論のほうで、
こっちは、カルダンらの作品であるとみなされている。
(不定域イデアルと層の理論の間に関連が高いのか低いのかは
歴史家でないと暴けないようなものになってしまった)

カルダンらは、岡の結果は正しいが数学では無い
と言っていたらしいから、厳密性の点で、形式的に
わかりやすくは書かれていなかったんだろうね