学，那么这个过程当中采用的逻辑就应该是完备的、整个体系必须是没有自我矛盾的、任何命题都是可以证明或可以证伪的。
更不巧的是，这个体系就是毁在王崎手中。歌庭派在元算之算上的努力，全都被王崎两篇论文摧毁了。
“用，为什么不用。”王崎回答道：“实际上我本人还是非常喜欢这个思路的。只不过希前辈步子太大，过了我们现有的能力罢了。我现在并不要求‘算学’，而是要求‘已知算学’的根基，并用这个已知去推未知还有什么问题吗？师兄，下次请记得让我把话说完。”
赵清潭忙不迭的坐下，而王崎则开始继续自己的讲演。
“而这个‘基础’，就是结构。在我现在的观感当中，算学世界最中心的，就是最为一般化的‘始源结构’。这个结构的特点，就是‘公理数目少’。因为，公理数目少，就代表这个结构受到的限制少，而限制少了，这个结构所指向的范围就越广阔。”
“同一种结构当中，公理数目越少的，自然也就越是一般化。”
“说个具体的例子好了，群论的结构有四条公理，假设群‘乾天’是一个非空集合，符号‘玄’是它的一个二元运算，则在四条公理封闭性、结合律成立、单位元