第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還是一個命名，難道不應該具體解釋一下嗎？」