讲，就得定义什么是有限、什么是无限、什么是线段、什么是线、什么是圆、什么是方、什么是体积、什么是面积，然后用新的词汇赋予他们特殊的意义。
等到适进入墨家之后，这些东西立刻被整合进几何学之中，也使得墨家的数学逻辑在原有的基础上得到了巨大的提升。
可逻辑这东西一旦研究深了，就很容易出现新的悖论。等到索卢参从西方回来后，和名家与墨家最像的古希腊的思辨逻辑，也迅速在这两家内流传开。
到头来发现两边争论的东西……其实很多都差不多。
只不过那边用飞矢不动，这边用影不徙；那边对圆的定义是由一条线包围着的平面图形，其内有一点与这条线上任何一个点所连成的线段都相等。这边对圆的定义是“一中同长”……
若仔细琢磨，一中同长四个字，扩写一下，就是有一点与这条线上任何一个点所连成的线段都相等。
这种思辨和索卢参带来的新的思辨问题，最受关注的地方就是泗上的庠序，尤其是……算学系。
此时泗上庠序的算学系的课堂上，年纪轻轻已经熬白了头发的庶轻侯，就正在给学生们讲类似的内容。
黑色的木板上，石膏笔在上面写了一个根号二。
庶轻侯面对着二十名刚选拔出来的、第一届庠序算学系的学生道：“我们先假定，跟二号可以写成甲分之乙的情况，这个甲分之乙是已经没有公约数的最小值。”
“那么，两边平方，得到二等于甲方分之乙方。”
“按照九数的法则，可以知道二倍的甲方等于乙方。”
“那么，乙方必然是偶数。乙的平方为偶，可知乙一定是偶数，那么乙可以写为二倍的丙。”
“那么，甲的平方就等于二倍的丙的平方，所以得知甲的平方也一定是偶数，那么甲也一定是偶数。”
“现在，甲和乙都是偶数，便和之前咱们的假定相悖。因为假定甲和乙已经没有最小的约数了，可现在却算出来甲和乙都是偶数，那肯定有约数为二，所以不存在一个分数，可以使之等于根号二。”
“根号二，便是所谓的没有道理的数。无穷无尽。但是却能够在图上画出来，只是没有办法测量它的具体长度。”
他又拿着石膏笔在黑色木板上点了点，写了一个负一，说道：“负数呢，则是存在于九数当中，现实中也可以理解的。”
“而虚数呢，则是存在于九数中，比如负二肯定没有办法开方，但是在一些方程中却又不得不用。它不存在，但又存在；不存在于最终的结果，但却要存在于计算的过程……”
“现在你说，根号二，你很容易画出来，一个边长为一的正方形的对角线，必然是根号二。可你说，虚的根号二，怎么才能在现实中出现呢？那么虚的根号二在辩术和九数中可以存在，但却在现实中不能存在，那么它到底存在不存在呢？”
诸夏九数中此时早有负数的概念，没有负数，就解不了此时的上中下三禾问题的方程。
而庶轻侯一直醉心于用三角函数的定量来计算相对准确的一度角的正弦，他想到的办法就是用一元三次方程，也一直在尝试着找出一种一元三次方程的解法，于是在适的启发下琢磨着用虚数的概念。
这个数不存在，但又不得不存在，不用的话，他解不开他费心了许多年的一元三次方程，也就无法验证自己推断的一度角用正余弦定理等基础内容到底能不能得到一个准确值。
下面的学生一开始听到无理数的时候，心道这些东西我们能考进庠序的算学系，哪里能不知道呢？
况且今日课上问到的内容，是关于“飞鸟不徙”也就是“飞矢不动”的问题的，他们有点不明白先生为什么讲到了无理和虚的概念。
等庶轻侯讲完，一名学生举手问道：“先生，您的意思是，飞矢不动这个定义，是存在于辩术中，但却不存在于现实的？”
