）如果n属于s，那么n'也属于s。】
【……x不在f的值域内；f为一个单射；若x∈a且“a∈a蕴涵f(a)∈a“，则a=x……】
【……n(自然数集)不是空集；n到n内存在a→a'的一一映射……】
【……若n的子集p既含有非后继元素的元素，又有含有子集中每个元素的后继元素，则此子集与n相等……】
【1+1的证明：
∵1+1的后继数是1的后继数的后继数，即3，
∴2的后继数是3。
根据皮亚诺公理3，可得：1+1=……】
在陈宇震惊的目光中，数学教师耗时五分钟，写了一黑板公式，随后抱着肩膀再次沉思了一分钟，在=后面写下了数字。
【可得：1+1＝……一万三千六百二十七。】
陈宇目瞪口呆。