<dfn id="siuuq"><code id="siuuq"></code></dfn>
<menu id="siuuq"><kbd id="siuuq"></kbd></menu>
  • <menu id="siuuq"><acronym id="siuuq"></acronym></menu>
  • <menu id="siuuq"></menu>
  • <tbody id="siuuq"><nav id="siuuq"></nav></tbody>
    <li id="siuuq"></li>
    <tr id="siuuq"></tr>
    <dd id="siuuq"></dd>
  • <menu id="siuuq"></menu>
    <dfn id="siuuq"><source id="siuuq"></source></dfn><dfn id="siuuq"><dl id="siuuq"></dl></dfn>
    回復(fù)

    一個簡單的科普

    樓主: 198490 | 查看: 1413 | 回復(fù): 4

    查看: 1413|回復(fù): 4

    [知識科普] 一個簡單的科普

    簡潔模式
    發(fā)表于 2023-12-20 18:01:50 云南| 發(fā)自安卓客戶端
    證明:1+1=2


    關(guān)于 1+1=2 的正式數(shù)學(xué)證明,我們使用皮亞諾公理,這是為自然數(shù)建立了一個公理體系。

    以下是便是一個簡短的證明:

    1.皮亞諾公理的第一個公理是說,有一個被稱為 0 的自然數(shù)。
    2. 皮亞諾公理的第二個公理是說,每個自然數(shù) x 都有一個后繼數(shù),表示為 S(x)。
    3. 皮亞諾公理的第五個公理是說,0 不是任何自然數(shù)的后繼數(shù)。
    4. 皮亞諾公理的其他公理涉及到了加法和乘法等運算,但我們這里只關(guān)心加法。

    現(xiàn)在,我們可以定義 1 作為 0 的后繼數(shù),即 1 = S(0)。根據(jù)皮亞諾公理,1 是一個自然數(shù)。同樣,我們可以定義 2 作為 1 的后繼數(shù),即 2 = S(1)。

    證明 1 + 1 = 2,根據(jù)皮亞諾公理,加法就是這樣定義的:對于任意自然數(shù) m 和 n,m + n 是這樣一個自然數(shù),它滿足對于任意自然數(shù) k,如果 k 是 m 的后繼數(shù),那么 S(k) 是 n 的后繼數(shù)。

    在這種情況下,讓我們用 m = 1 和 n = 1。這樣,1 + 1 是這樣一個自然數(shù),它滿足對于任意自然數(shù) k,如果 k 是 1 的后繼數(shù),那么 S(k) 是 1 的后繼數(shù)。但是我們已經(jīng)定義了 1 = S(0),所以 k = 0。因此,1 + 1 = 2。

    這就是基于皮亞諾公理的 1+1=2 的證明。
    (以上,如有不對請向我指出。)

    2

    4

    分享

    | 發(fā)表于 2024-3-10 14:32:45 新疆| 發(fā)自安卓客戶端 發(fā)帖際遇
    感謝分享
    | 發(fā)表于 2024-3-21 13:27:25 廣東| 發(fā)自安卓客戶端
    感謝分享
    | 發(fā)表于 2024-8-12 17:42:19 安徽| 來自小霸王手機
    感謝分享
    | 發(fā)表于 2024-8-30 11:05:51 河南| 發(fā)自安卓客戶端 發(fā)帖際遇
    感謝分享
    尚未登錄
    您需要登錄后才可以回帖 登錄 | 加入學(xué)院
    <dfn id="siuuq"><code id="siuuq"></code></dfn>
    <menu id="siuuq"><kbd id="siuuq"></kbd></menu>
  • <menu id="siuuq"><acronym id="siuuq"></acronym></menu>
  • <menu id="siuuq"></menu>
  • <tbody id="siuuq"><nav id="siuuq"></nav></tbody>
    <li id="siuuq"></li>
    <tr id="siuuq"></tr>
    <dd id="siuuq"></dd>
  • <menu id="siuuq"></menu>
    <dfn id="siuuq"><source id="siuuq"></source></dfn><dfn id="siuuq"><dl id="siuuq"></dl></dfn>
    91精品乱伦视频 | 掀起女同桌裙子把她弄到高潮 | 看黄无限数入口 | 国产又粗又黄又爽的视频 | 国产三区av |