Lihat sumber Aksioma Peano

Dalam [[logika matematika]], '''aksioma Peano''', juga dikenal sebagai '''aksioma Dedekind–Peano''' atau '''postulat Peano''', adalah [[aksioma|aksioma-aksioma]] untuk [[bilangan asli]] yang disampaikan oleh [[matematikawan]] [[Orang Italia|Italia]] abad ke-19 [[Giuseppe Peano]]. Aksioma-aksioma tersebut telah digunakan hampir tanpa diubah dalam beberapa penyelidikan [[metamatematika]], termasuk penelitian mengenai pertanyaan fundamental mengenai apakah [[teori bilangan]] bersifat [[konsistensi (logika)|konsisten]] dan [[kelengkapan (logika)|lengkap]].

Keperluan untuk memformalkan [[aritmetika]] tidak terlalu dipikirkan hingga karya [[Hermann Grassmann]], yang menunjukkan pada 1860-an bahwa banyak fakta dalam aritmetika yang bisa diperoleh dari fakta lebih mendasar mengenai [[fungsi penerus|operasi penerus]] dan [[induksi matematika|induksi]]. Pada tahun 1881, [[Charles Sanders Peirce]] memberikan [[Sistem aksioma|pengaksiomaan]] dari aritmetika bilangan asli.<ref>,</ref> Pada tahun 1888, [[Richard Dedekind]] mengusulkan pengaksiomaan aritmetika bilangan asli lainnya, dan pada tahun 1889, Peano menerbitkan versi sederhana dari mereka sebagai kumpulan aksioma dalam bukunya, [[Arithmetices principia, nova methodo exposita|''The principles of arithmetic presented by a new method'']] ().

Aksioma Peano berisi tiga jenis pernyataan. Aksioma pertama menegaskan keberadaan paling tidak satu anggota dari himpunan bilangan asli. Empat aksioma berikutnya adalah pernyataan umum mengenai [[Kesamaan (matematika)|kesamaan]]; dalam penafsiran modern aksioma-aksioma ini tidak dianggap sebagai bagian dari aksioma Peano, melainkan sebagai aksioma-aksioma dari "logika yang mendasarinya". Tiga aksioma berikutnya merupakan pernyataan [[Logika predikat tingkat pertama|tingkat pertama]] mengenai bilangan asli mengekspresikan sifat-sifat mendasar dari operasi penerus. Aksioma kesembilan, dan yang terakhir, adalah pernyataan [[Logika predikat tingkat kedua|tingkat kedua]] mengenai prinsip induksi matematika pada bilangan asli. Sebuah sistem tingkat pertama yang lebih lemah dan disebut '''aritmetika Peano''' diperoleh dengan secara eksplisit menambahkan simbol operasi penambahan dan perkalian serta menggantikan aksioma [[Aritmetika tingkat kedua|induksi tingkat kedua]] dengan sebuah [[skema aksioma]] tingkat pertama.

== Perumusan ==
Ketika Peano merumuskan aksiomanya, bahasa [[logika matematika]] masih dalam masa pertumbuhannya. Sistem notasi logika yang dia buat untuk menyampaikan aksiomanya tidak menjadi populer, walaupun sistem tersebut merupakan asal mula dari notasi modern untuk [[Elemen (matematika)|keanggotaan himpunan]] (∈, yang berasal dari ε dari Peano) dan [[Konsekuensi logis|implikasi]] (⊃, yang berasal dari 'C' dari Peano yang dibalik.) Peano menjaga perbedaan antara simbol matematika dan logika, yang pada saat itu belum sering dijumpai dalam matematika; pemisahan seperti itu pertama kali diperkenalkan dalam ''[[Begriffsschrift]]'' oleh [[Gottlob Frege]], diterbitkan pada tahun 1879. Peano tidak mengetahui tentang karya Frege dan secara terpisah membuat ulang peraltan logikanya berdasarkan karya [[George Boole|Boole]] dan [[Ernst Schröder|Schröder]].

Aksioma Peano mendefinisikan sifat-sifat aritmetis dari ''[[bilangan asli]]'', biasanya dilambangkan sebagai sebuah [[Himpunan (matematika)|himpunan]] <math>\mathbf{N}</math> atau <math>\mathbb{N}.</math> [[Simbol taklogis]] untuk aksiomanya terdiri dari simbol tetapan 0 dan simbol fungsi uner <math>S</math>.

Aksioma pertama menyatakan bahwa tetapan 0 adalah bilangan asli:

Empat aksioma berikutnya menjelaskan [[relasi (matematika)|relasi]] [[kesamaan (matematika)|kesamaan]]. Karena mereka secara logika valid dalam logika predikat tingkat pertama dengan kesamaan, mereka tidak dianggap sebagai bagian dari "aksioma Peano" dalam penafsiran modern.

Aksioma berikutnya mendefinisikan sifat-sifat aritmetis dari bilangan asli. Bilangan asli diasumsikan tertutup di bawah sebuah [[fungsi (matematika)|fungsi]] "[[fungsi penerus|penerus]]" dengan satu nilai, yang disebut <math>S</math>.

Perumusan Peano yang asli menggunakan 1 bukannya 0 sebagai bilangan asli "pertama". Pilihan ini dilakukan semaunya, karena aksioma 1 tidak memberikan tetapan 0 sifat tambahan apapun. Akan tetapi, karena 0 merupakan [[elemen identitas|identitas penambahan]] dalam aritmetika, kebanyakan perumusan aksioma Peano modern memulai dari 0. Aksioma 1, 6, 7, 8 mendefinisikan sebuah [[sistem bilangan uner|representasi uner]] dari ide intuitif bilangan asli: bilangan 1 bisa didefinisikan sebagai <math>S(0)</math>, 2 sebagai <math>S(S(0))</math>, dan seterusnya. Namun, mempertimbangkan ide bilangan asli sebagaimana didefinisikan oleh aksioma-aksioma tersebut, aksioma 1, 6, 7, 8 tidak mengimplikasikan bahwa fungsi penerus menghasilkan semua bilangan asli yang berbeda dari 0. Dengan kata lain, mereka tidak menjamin bahwa setiap bilangan asli selain nol harus meneruskan suatu bilangan asli lainnya.

Ide intuitif bahwa setiap bilangan asli bisa diperoleh dengan menerapkan ''penerus'' pada nol memerlukan aksioma tambahan, yang terkadang disebut ''[[aksioma induksi]]''.

Aksioma induksi terkadang dinyatakan dalam bentuk berikut:

Dalam perumusan asli dari Peano, aksioma induksi merupakan sebuah [[Logika predikat tingkat kedua|aksioma tingkat kedua]]. Sekarang prinsip tingkat kedua ini kerap diganti dengan skema induksi [[Logika predikat tingkat pertama|tingkat pertama]] yang lebih lemah. Terdapat perbedaan-perbedaan penting antara perumusan tingkat kedua dan tingkat pertama, sebagimana didiskusikan di bagian  di bawah.

== Aritmetika ==
Aksioma Peano dapat ditambah dengan operasi [[penambahan]] dan [[perkalian]] dan [[urutan total|urutan total (linear)]] biasa pada [[bilangan asli#Notasi|'''N''']]. Fungsi dan relasi masing-masing dibangun dalam [[teori himpunan]] atau [[logika orde kedua]], dan dapat ditampilkan unik menggunakan aksioma Peano.

=== Penambahan ===
[[Penambahan]] adalah fungsi yang [[peta (matematika)|memetakan]] dua bilangan asli (dua elemen '''N''') ke bilangan lain. Ini didefinisikan secara [[rekursi]]f sebagai:

: <math>\begin{align}
a + 0      &= a ,        & \textrm{(1)}\\
a + S (b)  &= S (a + b). & \textrm{(2)}
\end{align}</math>
Sebagai contoh:

: <math>\begin{align}
a + 1 &= a + S(0)     & \mbox{menggunakan definisi} \\
      &= S(a + 0)     & \mbox{menggunakan (2)} \\
      &= S(a),        & \mbox{menggunakan (1)} \\
\\
a + 2 &= a + S(1)     & \mbox{menggunakan definisi} \\
      &= S(a + 1)     & \mbox{menggunakan (2)} \\
      &= S(S(a))      & \mbox{menggunakan } a + 1 = S(a) \\
\\
a + 3 &= a + S(2)     & \mbox{menggunakan definsi} \\
      &= S(a + 2)     & \mbox{menggunakan (2)} \\
      &= S(S(S(a)))    & \mbox{menggunakan } a + 2 = S(S(a)) \\
\text{dst.} & \\
\end{align}</math>

[[Struktur matematika|struktur]] <math>(\N,+)</math> adalah [[monoid]] [[komutatif]] dengan elemen identitas 0. <math>(\N,+)</math> juga merupakan [[Sifat pembatalan|pembatalan]] [[magma (aljabar)|magma]], dan dengan demikian [[Pembenaman|dapat dibenamkan]] dalam [[grup (matematika)|grup]]. Grup terkecil yang membenamkan <math>\N</math> adalah [[bilangan bulat]].

=== Perkalian ===
Demikian pula, [[perkalian]] adalah fungsi yang memetakan dua bilangan asli ke bilangan lain. Diberikan tambahan, itu didefinisikan secara rekursif sebagai:

: <math>\begin{align}

a \cdot 0 &= 0, \\
a \cdot S (b) &= a + (a \cdot b).
\end{align}</math>
Sangat mudah untuk melihat bahwa <math>S(0)</math> (atau "1", dalam bahasa familiar [[representasi desimal]]) adalah perkalian [[elemen identitas|identitas kanan]]:

: <math>a \cdot S(0) = a + (a \cdot 0) = a + 0 = a</math>

Untuk menunjukkan bahwa <math>S(0)</math> juga merupakan identitas perkalian kiri memerlukan aksioma induksi karena cara perkalian didefinisikan:

* <math>S(0)</math> adalah identitas kiri 0: <math>S(0) \cdot 0 = 0</math>.
* Jika <math>S(0)</math> adalah identitas kiri dari <math>a</math> (yaitu <math>S(0) \cdot a = a</math>), maka <math>S(0)</math> juga merupakan identitas kiri <math>S(a)</math>: <math>S(0) \cdot S(a) = S(0) + S(0) \cdot a = S(0) + a = a + S(0) = S(a + 0) = S(a)</math>.

Oleh karena itu, dengan aksioma induksi <math>S(0)</math> adalah identitas kiri perkalian dari semua bilangan asli.  Selain itu, dapat ditunjukkan bahwa perkalian bersifat komutatif dan penjumlahan [[hukum distributif|distributif]]:

: <math>a \cdot (b+c) = (a \cdot b) + (a \cdot c)</math>.

Jadi, <math>(\mathbb{N}, + , 0, \cdot, S(0))</math> adalah komutatif [[semigelanggang]].

=== Pertidaksamaan ===
Relasi [[urutan total]] biasa ≤ pada bilangan asli dapat didefinisikan sebagai berikut, asumsi 0 adalah bilangan asli:

: Untuk semua <math>a, b \in \mathbb{N}</math>, <math>a \le b</math> jika dan hanya jika terdapatu suatu <math>c \in \mathbb{N}</math> sehingga <math>a + c = b</math>.

Hubungan ini stabil terhadap penjumlahan dan perkalian: untuk <math> a, b, c \in \mathbb{N} </math>, jika <math>a \le b</math>, maka:

* <math>a + c \le b + c</math>, dan
* <math>a \cdot c \le b \cdot c</math>.

Jadi, struktur <math>(\mathbb{N},+,\cdot,1,0,\le)</math> adalah [[semigelanggang terurut]]; karena tidak ada bilangan asli antara 0 dan 1, ini adalah semiring terurut diskrit.

== Teori aritmetika orde pertama ==
Semua aksioma Peano kecuali aksioma kesembilan (aksioma induksi) adalah pernyataan dalam [[logika orde pertama]]. Operasi aritmetika penjumlahan dan perkalian dan hubungan urutan juga dapat ditentukan menggunakan aksioma orde pertama. Aksioma induksi ada di [[logika orde kedua|orde kedua]], karena [[Pembilang (logika)|mengkuantifikasi]] melebihi predikat (setara, kumpulan bilangan asli daripada bilangan asli), tetapi dapat diubah menjadi induksi orde pertama '' [[skema aksioma]] ''. Skema seperti itu mencakup satu aksioma per predikat yang dapat didefinisikan dalam bahasa orde pertama aritmetika Peano, membuatnya lebih lemah daripada aksioma orde kedua. Alasan yang lebih lemah adalah bahwa jumlah predikat dalam bahasa orde pertama dapat dihitung, sedangkan jumlah himpunan bilangan asli tidak dapat dihitung. Jadi, ada himpunan yang tidak bisa dideskripsikan dalam bahasa urutan pertama (pada kenyataannya, sebagian besar himpunan memiliki sifat ini).

Aksiomatisasi orde pertama aritmetika Peano memiliki batasan teknis lain. Dalam logika orde kedua, dimungkinkan untuk menentukan operasi penjumlahan dan perkalian dari [[fungsi penerus|operasi penerus]], tetapi ini tidak dapat dilakukan dalam pengaturan logika orde pertama yang lebih ketat. Oleh karena itu, operasi penjumlahan dan perkalian secara langsung dimasukkan dalam [[tanda tangan (logika)|tanda tangan]] aritmetika Peano, dan aksioma dimasukkan yang menghubungkan ketiga operasi satu sama lain.

Daftar aksioma berikut (bersama dengan aksioma persamaan yang biasa), yang berisi enam dari tujuh aksioma [[aritmetika Robinson]], cukup untuk tujuan ini:

* <math>\forall x \ (0 \neq  S ( x ))</math>
* <math>\forall x, y \ (S( x ) =  S( y ) \Rightarrow x = y)</math>
* <math>\forall x \ (x  + 0 = x )</math>
* <math>\forall x, y \ (x + S( y ) =  S( x + y ))</math>
* <math>\forall x \ (x \cdot 0 = 0)</math>
* <math>\forall x, y \ (x \cdot  S ( y ) = x \cdot y + x )</math>

Selain daftar aksioma numerik ini, aritmetika Peano berisi skema induksi, yang terdiri dari [[himpunan yang dapat dihitung secara rekursif|dapat dihitung secara rekursif]] dari [[aksioma]]. Untuk setiap rumus <math>\varphi(x,y_1,\dots,y_k)</math> dalam bahasa aritmetika Peano, '''aksioma induksi orde pertama''' untuk <math>\varphi</math> adalah kalimat

:<math>\forall \bar{y} ((\varphi(0,\bar{y}) \land \forall x ( \varphi(x,\bar{y})\Rightarrow\varphi(S(x),\bar{y}))) \Rightarrow \forall x \varphi(x,\bar{y}))</math>

dimana <math>\bar{y}</math> adalah singkatan dari <math>y_1, \dots, y_k</math>. Skema induksi orde pertama menyertakan setiap contoh aksioma induksi orde pertama, yaitu, menyertakan aksioma induksi untuk setiap rumus '' φ ''.

=== Aksiomatisasi setara ===
Ada banyak aksiomatisasi aritmetika Peano yang berbeda, tetapi setara. Sementara beberapa aksioma, seperti yang baru saja dijelaskan, menggunakan tanda tangan yang hanya memiliki simbol untuk 0 dan operasi penerus, penjumlahan, dan perkalian, aksiomatisasi lain menggunakan bahasa [[gelanggang terurut|semiring terurut]], termasuk simbol hubungan ketertiban tambahan. Salah satu aksiomatisasi tersebut dimulai dengan aksioma-aksioma berikut yang menggambarkan semiring terurut diskrit.

# <math>\forall x, y, z \ ( (x + y) + z = x + (y + z) )</math>, yaitu, penambahan adalah [[sifat asosiatif|asosiatif]].
# <math>\forall x, y \ ( x + y = y + x )</math>, yaitu, penambahan adalah [[sifat komutatif|komutatif]].
# <math>\forall x, y, z \ ( (x \cdot y) \cdot z = x \cdot (y \cdot z) )</math>, yaitu, perkaliannya adalah asosiatif.
# <math>\forall x, y \ ( x \cdot y = y \cdot x )</math>, yaitu, perkalian bersifat komutatif.
# <math>\forall x, y, z \ ( x \cdot (y + z) = (x \cdot y) + (x \cdot z) )</math>, yaitu, perkalian [[sifat distributif|mendistribusikan]] atas penambahan.
# <math>\forall x \ ( x + 0 = x \land x \cdot 0 = 0 )</math>, yaitu, nol adalah [[elemen identitas|identitas]] untuk penambahan, dan [[elemen penyerap]] untuk perkalian (sebenarnya berlebihan).
# <math>\forall x \ ( x \cdot 1 = x )</math>, yaitu, satu adalah [[elemen identitas|identitas]] untuk perkalian.
# <math>\forall x, y, z \ ( x < y \land y < z \Rightarrow x < z )</math>, yaitu, operator '<math><</math>' adalah [[relasi transitif|transitif]].
# <math>\forall x \ ( \neg (x < x) )</math>, yaitu, operator '<math><</math>' adalah [[Relasi refleksif|tidak refleksif]].

== Konsistensi ==
Ketika aksioma Peano pertama kali diusulkan, [[Bertrand Russell]] dan yang lainnya setuju bahwa aksioma tersebut secara tersirat mendefinisikan apa yang dimaksud sebagai "bilangan asli".<ref>An illustration of 'interpretation' is Russell's own definition of 'cardinal number'. The uninterpreted system in this case is Peano's axioms for the number system, whose three primitive ideas and five axioms, Peano believed, were sufficient to enable one to derive all the properties of the system of natural numbers. Actually, Russell maintains, Peano's axioms define any progression of the form x_0,x_1,x_2,\ldots,x_n,\ldots of which the series of the natural numbers is one instance.</ref> [[Henri Poincaré]] lebih hati-hati, mengatakan bahwa aksioma tersebut hanya mendefinisikan bilangan asli apabila mereka ''konsisten''; jika terdapat bukti yang dimulai hanya dari aksioma itu dan menghasilkan kontradiksi seperti 0 = 1, maka aksioma itu tidak konsisten, dan tidak mendefinisikan apapun.<ref>So Poincaré turned to see whether logicism could generate arithmetic, more precisely, the arithmetic of ordinals. Couturat, said Poincaré, had accepted the Peano axioms as a definition of a number. But this will not do. The axioms cannot be shown to be free of contradiction by finding examples of them, and any attempt to show that they were contradiction-free by examining the totality of their implications would require the very principle of mathematical induction Couturat believed they implied. For (in a further passage dropped from S&M) either one assumed the principle in order to prove it, which would only prove that if it is true it is not self-contradictory, which says nothing; or one used the principle in another form than the one stated, in which case one must show that the number of steps in one's reasoning was an integer according to the new definition, but this could not be done (1905c, 834).</ref> Pada tahun 1900, [[David Hilbert]] mengajukan masalah membuktikan konsistensi aksioma Peano hanya menggunakan metode [[Finitisme|finitis]] sebagai [[masalah kedua Hilbert|masalah kedua]] dari [[Masalah Hilbert|kedua-puluh-tiga masalahnya]]. Pada tahun 1931, [[Kurt Gödel]] membuktikan [[Teorema ketaklengkapan Gödel#Teorema ketidaklengkapan kedua|teorema ketaklengkapan keduanya]], yang menunjukkan bahwa bukti konsistensi seperti itu tidak bisa diformalisasikan dalam aritmetika Peano itu sendiri.

Meskipun kerap dikatakan bahwa teorema Gödel menunjukkan bahwa bukti konsistensi finistis untuk aritmetika Peano tidak mungkin dibuat, ini bergantung pada apa yang dimaksud dengan bukti finistis. Gödel sendiri mengatakan bahwa bisa saja dibuat bukti konsistensi finistis untuk aritmetika Peano atau sistem yang lebih kuat dengan menggunakan metode finistis yang tidak bisa diformalisasikan dalam aritmetika Peano, dan pada tahun 1958, Gödel menerbitkan sebuah metode untuk membuktikan konsistensi aritmetika menggunakan [[teori tipe]].<ref>[https://id.wikipedia.org/w/index.php?title=Aksioma+Peano&oldid=24129921 sumber pada Wikipedia bahasa Indonesia]</ref> Pada tahun 1936, [[Gerhard Gentzen]] memberikan bukti konsistensi aksioma Peano, menggunakan [[induksi transfinit]] hingga [[bilangan ordinal]] yang disebut [[Bilangan epsilon|ε<sub>0</sub>]].<ref>[https://id.wikipedia.org/w/index.php?title=Aksioma+Peano&oldid=24129921 sumber pada Wikipedia bahasa Indonesia]</ref> Gentzen menjelaskan: "Tujuan dari karangan ini adalah untuk membuktikan konsistensi dari teori bilangan dasar atau, lebih tepatnya, untuk mereduksi pertanyaan konsistensi ke prinsip-prinsip dasar tertentu". Bukti Gentzen bisa jadi finitis, karena ordinal transfinit ε<sub>0</sub> bisa dituliskan dalam bentuk objek-objek terhingga (contohnya, sebagai [[mesin Turing]] yang menggambarkan urutan yang cocok pada bilangan bulat, atau lebih abstraknya sebagai terdiri dari [[Pohon (teori himpunan)|pohon]] yang terhingga, yang diurutkan linear sehingga cocok). Apakah bukti Gentzen memenuhi syarat yang Hilbert berikan atau tidak bukanlah hal yang jelas: tidak ada definisi yang diterima secara umum mengenai apa yang dimaksud bukti finistis, dan Hilbert sendiri tidak pernah memberikan definisi yang saksama.

Mayoritas matematikawan percaya bahwa aksioma Peano bersifat konsisten, atas dasar intuisi mereka atau menerima bukti konsistensi seperti [[Bukti konsistensi Gentzen|yang diberikan Gentzen]]. Sebagian kecil filsuf dan matematikawan, yang sebagian mendukung [[ultrafinitisme]], menolak aksioma Peano karena menerimanya berarti menerima kumpulan bilangan asli yang tak berhingga. Khususnya, penambahan (termasuk fungsi penerus) dan perkalian diasumsikan bersifat [[Fungsi parsial#Fungsi total|total]]. Menariknya, terdapat teori ''self-verifying'' yang mirip dengan aksioma Peano tetapi terdiri dari pengurangan dan pembagian bukannya penambahan dan perkalian, yang diaksiomakan sedemikian rupa sehingga tidak membuktikan bahwa penambahan dan perkalian bersifat total, tetapi masih bisa membuktikan semua teorema <math>\Pi_1</math> yang benar dari aksioma Peano, dan bisa diperluas menjadi teori konsisten yang membuktikan konsistensinya sendiri (dalam arti tidak bisa dibuat bukti "0=1").

== Lihat pula ==
* [[Aritmetika Presburger]]
* [[Aritmetika Robinson]]
* [[Aritmetika tingkat kedua]]
* [[Fondasi matematika]]
* [[Model non-standar aritmetika]]
* [[Neo-logisisme]]
* [[Teorema Frege]]
* [[Teorema Goodstein]]
* [[Teorema Paris–Harrington]]
* [[Typographical Number Theory]]

== Bacaan lanjutan ==
* 

== Pranala luar ==
* 
* 
*  Komentar mengenai karya Dedekind.

== Referensi ==
<references />

== Sumber dan atribusi ==

Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Aksioma+Peano&oldid=24129921 Wikipedia bahasa Indonesia], revisi 24129921 (2023-09-04T04:12:02Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.

<!-- WIKI_UNISSULA_PRESENTATION_V4 -->