古のヒルベルト時代か。
存在定理の意義、限界は今となっては常識では。
現代数学知ってるならね。