于S；（2）如果n属于S，那么n'也属于S。更正式的定义如下：一个戴德金-皮亚诺结构是这样的一个三元组(X， x， f)，其中X是一个集合，x为X中一个元素，f是X到自身的映射，”
“且符合以下条件：x不在f的值域内；f为一个单射；若x∈A 且“ a∈A 蕴涵 f(a)∈A“，则A=X。该结构所引出的关于自然数集合的基本假设:(自然数集)不是空集；到N内存在a→a'的一一映射；”
“后继元素映射的像的集合是N的真子集，事实上即N\{1}（或N\{0})；”
“若N的子集P既含有非后继元素的元素，又有含有子集中每个元素的后继元素，则此子集与N相等。”
“ 1+1的证明：∵1+1的后继数是1的后继数的后继数，即3，∴2的后继数是3。”
“根据皮亚诺公理③，可得：1+1=2。”
没获得学生们的回应，李逸转身开始在用粉笔抒写答案，一边抒写，一边讲解。
就在学生们差不多理解了这个皮亚诺公理的时候，李逸话风一转，指着这个公式道：“在设计人工智能底层构架的时候，我们可以借用这个公式，将1设为人工智能的准则根基，另一个1设为人工智能的环境算量，两个支点相加使得公私成了，则得出变量2，……。”
“限定了两个准则构架，人工智能通过仿真学习，最终将围绕着1+1准则，堆叠算法获得‘变量’，……。”
……
李逸滔滔不绝的讲解开发可控人工智能的技术路线。
然而，学生们的目光开始出现茫然，各种数学符号，专业名词，一次次冲击，辗压他们的智商。
李逸好似也发现了这个情况，连忙停止了技术科普，笑着讲解道：“可控人工智能是可以实现的，通过，人工智能底层构架的设定，生态环境的搭建，以及硬件系统的钳制技术，都可以让人工智诞生之初，就开始遵循着我们设置的路线进化。”
说完，李逸看了一眼周文惠，似乎在确认她能否听得懂。
周文惠明悟地点了点头，好似听懂了李逸的解释。
“好，还有没有问题？没有的话，我继续讲下一个内容了！”李逸环视全场学生，关心地问。
学生们纷纷保持沉默，不敢提问，开玩笑，随便提一个问题，日记本上就记了一大堆看不懂的东西，谁还敢继续问啊！
见状，李逸微微一笑，只好继
…。。