第573部分 (第5/5页)
肘呢？”王崎摇头：“您也应该感受得到，我借鉴了算主的思维，但是与算主早并不能算一条路的了。而歌庭派，几乎全都是算主的学生。”
算主当年是在编篡《几何根基篇》的时候，萌生出“公理化”、“形式化”观念与“完备性”“相容性”“可判定性”的理想目标的。
王崎现在在做的事情，与当初的算主非常相像，因此，何外尔也可以看出这两者的不同之处。
王崎根本就无视了算主当初的目标。或者说，他已经不认为证明出什么特殊的命题，就可以求得整个
肘呢？”王崎摇头：“您也应该感受得到，我借鉴了算主的思维，但是与算主早并不能算一条路的了。而歌庭派，几乎全都是算主的学生。”
算主当年是在编篡《几何根基篇》的时候，萌生出“公理化”、“形式化”观念与“完备性”“相容性”“可判定性”的理想目标的。
王崎现在在做的事情，与当初的算主非常相像，因此，何外尔也可以看出这两者的不同之处。
王崎根本就无视了算主当初的目标。或者说，他已经不认为证明出什么特殊的命题，就可以求得整个