Penjelasan dengan langkah-langkah:

Definisi 1

Andaikan a dan b berada di N. jika b = 1, maka a + b = a' (menggunakan P1 dan P2). Jika b bukan 1, maka terdapat c' = b, dengan c di N (menggunakan P4), sehingga a + b = (a + c)'.

Defenisi 2

2 = 1' . 2 berada di N (Menggunakan P1 dan P2).

Teorema 1

1 + 1 = 2

Proof:

Menggunakan bagian pertama dari definisi penjumlahan + dengan a = b = 1.

Maka 1 + 1 = 1' = 2 Q.E.D.

Catatan : terdapat rumus alternatif dari Postulat Peano yang menggantikan 1 dengan 0 di P1, P3, P4, dan P5. Kemudian kita dapat mengubah definisi :

Defenisi 3

a dan b berada di N. Jika b = 0, kemudian menentukan a + b = a. Jika b tidak 0, maka c '= b, c dengan di N, dan a + b = (a + c)'.

Kita harus menentukan 1 = 0 ', dan 2 = 1'. Kemudian bukti Teorema di atas adalah sedikit berbeda:

Bukti:

Gunakan bagian kedua dari definisi + pertama:

1 + 1 = (1 + 0) '

Sekarang gunakan bagian pertama dari definisi + pada jumlah di kurung:

1 + 1 = (1) '= 1' = 2 Q.E.D

sekian dulu Pembahasan saya tentang Pembuktian 1 + 1 = 2

Thank you.