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设为人工智能的准则