“你先坐吧！这个问题解释起来，要涉及大量学科的知识，我就简单介绍一下几样技术思路。”李逸笑了笑，示意周文惠坐下道。
周文惠点了点头，坐下之后，目光晶亮地看着李逸，静待答案。
李逸转身背对黑板，拿起粉笔，在黑板写了一个1+1=2的数学公式。
“大家知道这个公式吗？”李逸转头看着众人问。
学生们皱了皱眉，不明白李逸解释这个小学生都知道的数学公式，根人工智能有什么关系。
“这个公式叫做皮亚诺公理，也称皮亚诺公设，是数学家皮亚诺提出的关于自然数的五条公理系统。”
“根据这五条公理可以建立起一阶算术系统，也称皮亚诺算术系统。“
“皮亚诺的这五条公理用非形式化的方法叙述如下：0是自然数；②每一个确定的自然数 a，都有一个确定的后继数x'，x'也是自然数（一个数的后继数就是紧接在这个数后面的数，例如，1的后继数是2，2的后继数是3等等）；”
“③如果b、c都是自然数a的后继数，那么b = c；④0不是任何自然数的后继数；”
“⑤设S是自然数集的一个子集，且（1）0属于