Theorem answer : 7+2=9.
Proof.
simpl. reflexivity.
Qed.


根據皮亞諾公理:

Ⅰ、0是自然數;

Ⅱ、每一個確定的自然數a,都具有確定的後繼數aa也是自然數(數a的後繼數a就是緊接在這個數後面的整數(a+1)。例如:1=2,2=3等等。)Ⅲ、0不是任何自然數的後繼數Ⅳ、不同的自然數有不同的後繼數,如果自然數bc的後繼數都是自然數a,那麼b=c

Ⅴ設S?N,且滿足2個條件(i)0∈S;(ii)如果nS,那麼nS。S是包含全體自然數的集合,即S=N。

我們首先定義加法:加法是滿足以下兩種規則的運算:

Ⅰ、?mN,0 +m =m

Ⅱ、?mnNn +m = (n +m)。

再定義「等於」:

a=b時a,b代表的是同一個元素

由此可以推出1+1=2:

1 + 1

  = 0』 + 1 (根據自然數的公理)

  = (0 + 1)』(根據加法定義Ⅱ)  = 1』 (根據加法定義Ⅰ)  = 2 (根據自然數的公理)

容易證得,m=1+m.

綜合以上論述,不難得出7+2=0+9=9.

此結論的前提是提問者所說7與9與2是自然數。

(以上大部分內容均來自於百度百科)


因為數學的定義。定義就是約定俗成的規矩吧,只能說在人類中7是7的表達,2是2的表達,+有+的規則,所以7+2=9。並且,9也只是一個定義數。


我覺得7+2=9隻是基本數學的定義,你要是說7+2不等於9也可以。其實數學和哲學是有密切聯繫的,偉大的數學家一般也是個哲學家。所以對於這個問題,你只要以你的見解來分析就好,沒有「一定」的事情,而在數學考試上,不是發揮我們見解的時候,而是測驗你是否理解別人的見解。(以上僅為本人理解,第一次回答多包涵


提問代表思考。思考證明活著。做為一個人,一個具有社會屬性,需要羣居的你,需要知道規則,7+2=9就是規則,學習運用規則生存下去,你才能繼續活著,思考,提問。如果你要修行,跳出三界,那麼7+2=幾,都不是重要的事情,重要的是你要如何放棄知道所有的類似7+2=幾的問題,認識本性從此開啟。


這是個定義性的問題,就像啟名,小孩出生後叫狗剩,當然沒定前叫狗蛋也行,但一旦叫了,就是人與名對應上了。不像是邏輯性的問題有前因後果。


麻煩描述清楚你到底想知道什麼


因為人類大腦的特殊結構


推薦閱讀:
相關文章