第61页（2/2）

「你还会证明1＋1？」知夏惊讶了一下，「这个竟然能证明吗？怎么证明啊？」

张翔宇就知道她会是这个反应。

很多人都觉得1＋1就是很简单的「一个苹果和一个苹果放一起，总共几个苹果」这样的原理，但其实严格放到数学领域，任何式子都是需要证明的，「1＋1」也不例外。

拿起，张翔宇得意地走上台，便在黑板上连画图带写式子地给出了「1＋1=2」的证明过程。

这时，陈正文也已经搬著书走到了教室门口。将书放下，他没有进去打扰自己喜欢的学生展现数学能力，反倒也很期待可以让知夏看看真正有资格在1班上课的学生应该有的水平。

「我们定义自然数系，存在一个自然数系n，称其元素为自然数，若且唯若这些元素满足公理……再定义加法满足以下两种规则的运算，首先，对于任意自然数m，0+m=m，其次，对于任意自然数m和n，n'+m=(n+m)'……然后就可以证明1＋1=2了。」

粉笔「咔咔咔」地在黑板上写着，绿底白字，字母、数字和图兼具，看上去很丰富多彩。

班上的同学都知道1＋1可以通过式子证明，但认真去了解了一遍并记下来的，还真没几个，也不怪张翔宇会每次考试都稳定班级前五，付出了努力的人本就应该获得回报。

从左到右，仔细看了看黑板上写的过程，知夏点头：「我以前看到过关于1＋1=2的证明，确实是这样。」

将粉笔耍帅地扔回粉笔盒，张翔宇的嘴角忍不住扬起了弧度，心里暗嗤。

什么看到过，她就装吧，逞面子罢了。皮亚诺五条公理，别说知道公理内容是什么了，她能听说过「皮亚诺」就不错了。

现在要是下课时间，张翔宇可能还会继续对知夏追问到底，不给她浑水摸鱼装腔作势的机会，但他已经早就看到站在门口等着的陈正文了，就没继续张扬。

见爱徒表现得和自己预想中的一样好，陈正文很满意，便故意忽略了他刚刚上课说话，乱下座位，还背后议论人被当面抓到的事，弯腰把一箱子的书搬进教室，准备和大家说一下知夏和祁思明两个人都要在自己班上借读的事。

就在这时，知夏突然开口，对刚下讲台但还没走到自己座位上的张翔宇提出了疑问：「但你在讲解过程中好像逻辑有点不够严谨，比如这里的0.5，你没有定义，是从哪里来的呢？这就是数字0.5还是一个命名，难道不应该具体解释一下吗？」