肘呢？”王崎搖頭：“您也應該感受得到，我借鑑了算主的思維，但是與算主早並不能算一條路的了。而歌庭派，幾乎全都是算主的學生。”

算主當年是在編篡《幾何根基篇》的時候，萌生出“公理化”、“形式化”觀念與“完備性”“相容性”“可判定性”的理想目標的。

王崎現在在做的事情，與當初的算主非常相像，因此，何外爾也可以看出這兩者的不同之處。

王崎根本就無視了算主當初的目標。或者說，他已經不認為證明出什麼特殊的命題，就可以求得整個