下面以排队为例对皮亚诺公理进行说明，理论上队列可以无穷长。其中公理一是说：第一个是绝对的，不能存在“第一个”的上一个，比如排队时你排在前面第一个，就意谓着队列中没有比你排在更前面的。

　  公理二是说：队列中任何人的下一个必有但也只能有一个，不能多个。

　  公理三是说：对任何人来说，如果他后面一个位置的序号已经知道（确定），那么他本身的序号也就定了。

　  公理四是说：假如原来队列的第一个另排一行，第一个的“下一个”，“下一个”的“下一个”全部依次跟过来，那么新队列和老队列是等价的。

　　这样定义的自然数称序数，以区别前者定义的基数，是专门针对“第几”这个问题而定义的。基数起于感性量的简单同异比较，用于描述感性的、形象的数量，而序数是基数的进一步抽象，是思维进一步发展的产物，用于描述理性的、抽象的关系量。

　  各种已知的古代数系，基本上都经过从基数到序数的过程，首先用以表示“几个”，然后才抽象出表示“第几个”的涵义。但除了先天易之外，还没有出现经过定义的序数体系。

    专门把表示顺序的序数与表示个数的基数从基本定义上区分开来是数学向抽象化发展的要求，也是抽象数概念产生的基础。邵子先天易就是专门定义的序数体系。为叙述方便，用Ｙ表示先天易体系。下面从皮亚诺四个公理出发逐一论证说明先天易符合序数定义，是从序数的角度来定义的。

　  有明确的顺序起点定义，先天易从乾(太极)开始演化，是序列的起点。

　  有明确的次序定义，正如朱熹所说的“其先后多寡，既有次第而位置分明，不费词说，”、“全是天理，自然挨排出来”、“无不曾”、“亦不容”、“智力添助”。又是“未知其所穷”的“有放无收”的系统，这就是说，系统Ｙ是依多寡自然挨排即按多寡一个紧挨着一个排出来的排列，元素与元素之间的先后次序是固定不变的，元素的个数又是无穷的，故每个元素ｙ必有固定的唯一的后继者ｙ＋。

　  根据Ｙ系统上的特征，每一个后继者ｙ＋，前面必有唯一固定的元素ｙ。这是显然的。

　  设Ｗ是Ｙ的一个子集，即Ｗ中的元素全部是Ｙ中的元素，

　　假定I：乾一(y0)是Ｗ中的元素；

　　II：Ｗ中任意元ｗ，其后继者ｗ＋也是Ｗ中的元素。

　　则Ｗ与Ｙ等价。

　　证明：从前提Ｗ是Ｙ的一个子集出发得知，Ｗ中每一个元素都是Ｙ中元素，不存在属于Ｗ而不属于Ｙ的元素。

　　 从假定一得知Ｙ序列的第一个元素y0也是Ｗ中的元素，Ｙ中不可能有在y 0前面的

元素，而Ｗ中的元素都是Ｙ中的元素，因此Ｗ中y 0也是第一个。

　　 根据假定二，Ｗ中任意元素的后继者都是Ｗ中的元素，从y0出发逐一加一的生成的元素都是Ｗ中的元素，同时这本来就是Ｙ的定义，所以Ｙ是Ｗ的子集。又前提中Ｗ是Ｙ的子集，所以Ｗ与Ｙ等价。

　  由于进位制是自然数自身表达的模式，先天易系统Ｙ是自然数序数系统，在内部结构上，任意大数均表示为奇偶两个符号的迭加，并利用非零符号所在相对位置的不同表示位值的不同。所以先天易系统Ｙ是二进位制自然数体系。为了脱离数量与单位等具体特征的约束，先天易从单纯序数的角度来构建自然数序列，开抽象数学之先声，它的意义必将逐步得到人们的重视。

第六节 《周易》与二进位制问题散记

    近数十年来，国内否定周易与二进位制有关的运动有两个学术源头，一个是李约瑟《中国科学技术史》中综述，另一个是80年代英国E.J.爱顿的一篇短文。之所以称之为运动，那是因为大家似乎都不约而同地隐含着对研读原著的不热心甚至鄙视。下面是有关这个问题的三段笔记，以此献诸同好。

　一、葛兰言的碰巧说

  从近现代西方学术界的角度看，自从认识二进位制数之伊始，就与《周易》结伴而行。西方第一篇关于二进位制的文章发表于1703年，是莱布尼兹在《皇家科学院纪录》上发表的，标题为《二进制算术的解说》，副标题为“它只用0和1，并论述其用途以及伏羲氏所使用的古代中国数字的意义”，作为对中国哲学的介绍加以高度评价。以后周易与二进制问题作为东方文化的一个特色一直引起西方学者的广泛注意，他们对从浩瀚的易图进行研读，得到了很多有益的成果。一直到本世纪二三十年代，几乎没有人对中国古代二进位制的发明权表示怀疑或商榷。

　  正如李约瑟所说的，“要是在十多年前，这个论题可能到此就结束了。但是晚近的发展表明，莱布尼兹的二进制算术远远不单纯是历史上一桩奇事而已。”近几十年来由于电子技术中的应用发展使某些西方学者对中国古代发明二进制这一结论越来越不能接受，于是有个宣判性质的工作由汉学家葛兰言先生给出的，在没有研究或者说没有读懂中国古代原始文献的前提下葛先生作了激烈的判决。他说，哪怕是承认六十四卦序与莱布尼兹二进制有一点点最低的共同基础的想法都是理所当然应该摒弃的，因为“发明六十四卦的那些人所关心的只是用长棍和短棍这两种基本原件来形成一切可能的排列与组合。这些一经形成之后，显然有好几种同样合乎逻辑的排列也是可能的。事实上，其中有两种最后获得了极大的重要性，虽然其他排法也不难设计出来。把数学的意义归之于六十四卦，其主要的缺点是，没有什么东西是比任何一种定量计算更远离古代《易经》专家们的思想的了。”李约瑟指出“葛兰言已充分地表明了这一点”。“至于研究用阴爻和阳爻的反复交替组成六十四卦的‘变易’的占卜者，他们可以被认为是在进行简单的二进制算术运算，但是他们在这样做的时候，肯定是并没有认识到这一点的。我们必须要求，任何发明——无论是数学的或是机械的——都应该是有意识地作出来并能供使用的。如果《易经》占卜者不曾意识到二进制算术，而且也未曾加以使用，那么，莱布尼茨和白晋的发现就仅仅具有如下的意义，即在邵雍的《易经》解说中所表现的抽象顺序系统是碰巧与包含在二进制算术中的抽象顺序系统相同而已。邵雍在他的《易经》六十四卦排列中偶然碰到并由莱布尼茨使人意识到的二进制算术，可以说是在一种十分真实的意义上早在它被人发现适合于现代人的大型计算机之前，就已经被用来构造哺乳动物的神经系统了。”

　  这里称之为宣判而不是研究，是因为这个工作本身更像是一个武断而措词激烈的宣言而不是研究，是因为他这种对宣判对象邵雍数学学派起码的常识不知道也不屑于涉及的方式更像一个西方传统上的宗教审判。葛氏宣判中涉及的易学常识性笑话就不值得一说了，下面讲讲行文中的数理常识错误。

　  葛氏对什么叫排列，什么叫组合，搞不清楚；对什么是二进位制也只有一些感性的印象；当然对排列、组合与序数概念关系问题更是一片模糊。排列是建立序数(自然数)的基础上的抽象的概念，也就是排顺序。其中排列项本身就是序号的代表，从排列本身的意义上说，就是序数，也就是自然数记号。由两种基本符号就可以完全表达的顺序记号系统本身就是二进位制自然数，完全与这两位基本符号的具体形式无关，无论是阴与阳还是长棍与短棍，或者是0与1，都是可以作为二进制基底的等价表示，因为它们是同构的。

　  组合是在排列概念的基础上进一大步的抽象思维能力，从人类智力发展进化进程上说，要求更高的智力水平，必须相对抽象的分析比较能力和一定的全局概念为基础。就是说，序数概念是排列行为的必然前提，组合概念是排列基础上的智力飞跃。它们都是依从于顺序概念的理性活动，自然是有意识的，离开了对顺序概念的自觉，还能称为排列和组合吗？另外，数学就仅仅等于定量计算么？

  为了解释先天易图中的阴爻和阳爻，有学