# Aksioma Peano

Dalam logika matematika, **aksioma Peano**, juga dikenal sebagai **aksioma Dedekind–Peano** atau **postulat Peano**, adalah aksioma-aksioma untuk bilangan asli yang disampaikan oleh matematikawan 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 konsisten dan 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 operasi penerus dan induksi. Pada tahun 1881, Charles Sanders Peirce memberikan pengaksiomaan dari aritmetika bilangan asli. 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, *The principles of arithmetic presented by a new method* (bahasa Latin: *Arithmetices principia, nova methodo exposita*code: la is deprecated ).

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; 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 tingkat pertama mengenai bilangan asli mengekspresikan sifat-sifat mendasar dari operasi penerus. Aksioma kesembilan, dan yang terakhir, adalah pernyataan 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 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 keanggotaan himpunan (∈, yang berasal dari ε dari Peano) dan 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 Boole dan Schröder.

Aksioma Peano mendefinisikan sifat-sifat aritmetis dari *bilangan asli*, biasanya dilambangkan sebagai sebuah himpunan WIKINIUM\_MATH\_PH\_0 atau WIKINIUM\_MATH\_PH\_2 Simbol taklogis untuk aksiomanya terdiri dari simbol tetapan 0 dan simbol fungsi uner WIKINIUM\_MATH\_PH\_4 .

Aksioma pertama menyatakan bahwa tetapan 0 adalah bilangan asli:

1. 0 adalah sebuah bilangan asli.

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

2. Untuk setiap bilangan asli WIKINIUM\_MATH\_PH\_6 ,
 WIKINIUM\_MATH\_PH\_8 . Artinya, kesamaan bersifat refleksif.
3. Untuk semua bilangan asli WIKINIUM\_MATH\_PH\_10 dan WIKINIUM\_MATH\_PH\_12 , jika WIKINIUM\_MATH\_PH\_14 , maka WIKINIUM\_MATH\_PH\_16 . Artinya, kesamaan bersifat simetrik.
4. Untuk semua bilangan asli WIKINIUM\_MATH\_PH\_18 , WIKINIUM\_MATH\_PH\_20 dan WIKINIUM\_MATH\_PH\_22 , jika WIKINIUM\_MATH\_PH\_24 dan WIKINIUM\_MATH\_PH\_26 , maka WIKINIUM\_MATH\_PH\_28 . Artinya, kesamaan bersifat transitif.
5. Untuk semua WIKINIUM\_MATH\_PH\_30 dan WIKINIUM\_MATH\_PH\_32 , jika WIKINIUM\_MATH\_PH\_34 merupakan sebuah bilangan asli dan WIKINIUM\_MATH\_PH\_36 , maka WIKINIUM\_MATH\_PH\_38 juga merupakan bilangan asli. Artinya, bilangan-bilangan asli bersifat tertutup terhadap kesamaan.

Aksioma berikutnya mendefinisikan sifat-sifat aritmetis dari bilangan asli. Bilangan asli diasumsikan tertutup di bawah sebuah fungsi "penerus" dengan satu nilai, yang disebut WIKINIUM\_MATH\_PH\_40 .

6. Untuk setiap bilangan asli WIKINIUM\_MATH\_PH\_42 , WIKINIUM\_MATH\_PH\_44 adalah bilangan asli. Artinya, bilangan asli tertutup terhadap WIKINIUM\_MATH\_PH\_46 .
7. Untuk semua bilangan asli WIKINIUM\_MATH\_PH\_48 dan WIKINIUM\_MATH\_PH\_50 , WIKINIUM\_MATH\_PH\_52 jika dan hanya jika WIKINIUM\_MATH\_PH\_54 . Artinya, WIKINIUM\_MATH\_PH\_56 bersifat injektif.
8. Untuk setiap bilangan asli WIKINIUM\_MATH\_PH\_58 , WIKINIUM\_MATH\_PH\_60 bernilai salah. Artinya, tidak ada bilangan asli yang penerusnya adalah 0.

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 identitas penambahan dalam aritmetika, kebanyakan perumusan aksioma Peano modern memulai dari 0. Aksioma 1, 6, 7, 8 mendefinisikan sebuah representasi uner dari ide intuitif bilangan asli: bilangan 1 bisa didefinisikan sebagai WIKINIUM\_MATH\_PH\_62 , 2 sebagai WIKINIUM\_MATH\_PH\_64 , 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*.

9. Jika WIKINIUM\_MATH\_PH\_66 merupakan sebuah himpunan sehingga:
	* 0 merupakan anggota WIKINIUM\_MATH\_PH\_68 , dan
	* untuk setiap bilangan asli WIKINIUM\_MATH\_PH\_70 , WIKINIUM\_MATH\_PH\_72 merupakan anggota WIKINIUM\_MATH\_PH\_74 mengimplikasikan WIKINIUM\_MATH\_PH\_76 merupakan anggota WIKINIUM\_MATH\_PH\_78 ,
maka WIKINIUM\_MATH\_PH\_80 berisi setiap bilangan asli.

Aksioma induksi terkadang dinyatakan dalam bentuk berikut:

9. Jika WIKINIUM\_MATH\_PH\_82 adalah predikat uner sehingga:
	* WIKINIUM\_MATH\_PH\_84 bernilai benar, dan
	* untuk setiap bilangan asli WIKINIUM\_MATH\_PH\_86 , WIKINIUM\_MATH\_PH\_88 bernilai benar mengimplikasikan WIKINIUM\_MATH\_PH\_90 bernilai benar,
maka WIKINIUM\_MATH\_PH\_92 bernilai benar untuk setiap bilangan asli WIKINIUM\_MATH\_PH\_94 .

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

## Aritmetika

Aksioma Peano dapat ditambah dengan operasi penambahan dan perkalian dan urutan total (linear) biasa pada **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 memetakan dua bilangan asli (dua elemen **N**) ke bilangan lain. Ini didefinisikan secara rekursif sebagai:

 WIKINIUM\_MATH\_PH\_96
Sebagai contoh:

 WIKINIUM\_MATH\_PH\_98
struktur WIKINIUM\_MATH\_PH\_100 adalah monoid komutatif dengan elemen identitas 0. WIKINIUM\_MATH\_PH\_102 juga merupakan pembatalan magma, dan dengan demikian dapat dibenamkan dalam grup. Grup terkecil yang membenamkan WIKINIUM\_MATH\_PH\_104 adalah bilangan bulat.

### Perkalian

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

 WIKINIUM\_MATH\_PH\_106
Sangat mudah untuk melihat bahwa WIKINIUM\_MATH\_PH\_108 (atau "1", dalam bahasa familiar representasi desimal) adalah perkalian identitas kanan:

 WIKINIUM\_MATH\_PH\_110
Untuk menunjukkan bahwa WIKINIUM\_MATH\_PH\_112 juga merupakan identitas perkalian kiri memerlukan aksioma induksi karena cara perkalian didefinisikan:

* WIKINIUM\_MATH\_PH\_114 adalah identitas kiri 0: WIKINIUM\_MATH\_PH\_116 .
* Jika WIKINIUM\_MATH\_PH\_118 adalah identitas kiri dari WIKINIUM\_MATH\_PH\_120 (yaitu WIKINIUM\_MATH\_PH\_122 ), maka WIKINIUM\_MATH\_PH\_124 juga merupakan identitas kiri WIKINIUM\_MATH\_PH\_126 : WIKINIUM\_MATH\_PH\_128 .

Oleh karena itu, dengan aksioma induksi WIKINIUM\_MATH\_PH\_130 adalah identitas kiri perkalian dari semua bilangan asli. Selain itu, dapat ditunjukkan bahwa perkalian bersifat komutatif dan penjumlahan distributif:

 WIKINIUM\_MATH\_PH\_132 .
Jadi, WIKINIUM\_MATH\_PH\_134 adalah komutatif semigelanggang.

### Pertidaksamaan

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

Untuk semua WIKINIUM\_MATH\_PH\_136 , WIKINIUM\_MATH\_PH\_138 jika dan hanya jika terdapatu suatu WIKINIUM\_MATH\_PH\_140 sehingga WIKINIUM\_MATH\_PH\_142 .
Hubungan ini stabil terhadap penjumlahan dan perkalian: untuk WIKINIUM\_MATH\_PH\_144 , jika WIKINIUM\_MATH\_PH\_146 , maka:

* WIKINIUM\_MATH\_PH\_148 , dan
* WIKINIUM\_MATH\_PH\_150 .

Jadi, struktur WIKINIUM\_MATH\_PH\_152 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 orde kedua, karena 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 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 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:

* WIKINIUM\_MATH\_PH\_154
* WIKINIUM\_MATH\_PH\_156
* WIKINIUM\_MATH\_PH\_158
* WIKINIUM\_MATH\_PH\_160
* WIKINIUM\_MATH\_PH\_162
* WIKINIUM\_MATH\_PH\_164

Selain daftar aksioma numerik ini, aritmetika Peano berisi skema induksi, yang terdiri dari dapat dihitung secara rekursif dari aksioma. Untuk setiap rumus WIKINIUM\_MATH\_PH\_166 dalam bahasa aritmetika Peano, **aksioma induksi orde pertama** untuk WIKINIUM\_MATH\_PH\_168 adalah kalimat

 WIKINIUM\_MATH\_PH\_170
dimana WIKINIUM\_MATH\_PH\_172 adalah singkatan dari WIKINIUM\_MATH\_PH\_174 . 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 semiring terurut, termasuk simbol hubungan ketertiban tambahan. Salah satu aksiomatisasi tersebut dimulai dengan aksioma-aksioma berikut yang menggambarkan semiring terurut diskrit.

1. WIKINIUM\_MATH\_PH\_176 , yaitu, penambahan adalah asosiatif.
2. WIKINIUM\_MATH\_PH\_178 , yaitu, penambahan adalah komutatif.
3. WIKINIUM\_MATH\_PH\_180 , yaitu, perkaliannya adalah asosiatif.
4. WIKINIUM\_MATH\_PH\_182 , yaitu, perkalian bersifat komutatif.
5. WIKINIUM\_MATH\_PH\_184 , yaitu, perkalian mendistribusikan atas penambahan.
6. WIKINIUM\_MATH\_PH\_186 , yaitu, nol adalah identitas untuk penambahan, dan elemen penyerap untuk perkalian (sebenarnya berlebihan).
7. WIKINIUM\_MATH\_PH\_188 , yaitu, satu adalah identitas untuk perkalian.
8. WIKINIUM\_MATH\_PH\_190 , yaitu, operator ' WIKINIUM\_MATH\_PH\_192 ' adalah transitif.
9. WIKINIUM\_MATH\_PH\_194 , yaitu, operator ' WIKINIUM\_MATH\_PH\_196 ' adalah 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". 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. Pada tahun 1900, David Hilbert mengajukan masalah membuktikan konsistensi aksioma Peano hanya menggunakan metode finitis sebagai masalah kedua dari kedua-puluh-tiga masalahnya. Pada tahun 1931, Kurt Gödel membuktikan 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. Pada tahun 1936, Gerhard Gentzen memberikan bukti konsistensi aksioma Peano, menggunakan induksi transfinit hingga bilangan ordinal yang disebut ε0. 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 ε0 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 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 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 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 WIKINIUM\_MATH\_PH\_198 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

## Catatan kaki

## Referensi

### Kutipan

### Sumber

* Fritz, Charles A., Jr. (1952). *Bertrand Russell's construction of the external world*.   Pemeliharaan CS1: Banyak nama: authors list (link)
* Gentzen, Gerhard (1936). "Die Widerspruchsfreiheit der reinen Zahlentheorie". *Mathematische Annalen*. **112**. Reprinted in English translation in his 1969 *Collected works*, M. E. Szabo, ed.: 132–213. doi:10.1007/bf01565428.
* Gödel, Kurt (1931). "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I" (PDF). *Monatshefte für Mathematik*. **38**. See On Formally Undecidable Propositions of Principia Mathematica and Related Systems for details on English translations.: 173–198. doi:10.1007/bf01700692. Diarsipkan dari asli (PDF) tanggal 2018-04-11. Diakses tanggal 2013-10-31.
* Gödel, Kurt (1958). "Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes". *Dialectica*. **12**. Reprinted in English translation in 1990. Gödel's *Collected Works*, Vol II. Solomon Feferman et al., eds. Oxford University Press: 280–287. doi:10.1111/j.1746-8361.1958.tb01464.x.
* Grassmann, Hermann (1861). "Lehrbuch der Arithmetik" [A tutorial in arithmetic] (PDF). Enslin. Diarsipkan dari asli (PDF) tanggal 2013-11-03. Diakses tanggal 2020-06-25.   ;  ;
* Gray, Jeremy (2013). "The Essayist". *Henri Poincaré: A scientific biography*. Princeton University Press. hlm. 133. ISBN 0-691-15271-3.   ;  ;
* Hilbert, David (1902). "Mathematische Probleme" [Mathematical Problems]. *Bulletin of the American Mathematical Society*. **8**. Diterjemahkan oleh Winton, Maby: 437–479. doi:10.1090/s0002-9904-1902-00923-3.
* Peirce, C. S. (1881). "On the Logic of Number". *American Journal of Mathematics*. **4**: 85–95. doi:10.2307/2369151. JSTOR 2369151. MR 1507856.
* Shields, Paul (1997). "3. Peirce's Axiomatization of Arithmetic". Dalam Houser, Nathan; Roberts, Don D.; Van Evra, James (ed.). *Studies in the Logic of Charles Sanders Peirce*. Indiana University Press. hlm. 43–52. ISBN 0-253-33020-3.   ;  ;
* van Heijenoort, Jean (1967). *From Frege to Godel: A Source Book in Mathematical Logic, 1879–1931*. Harvard University Press. ISBN 9780674324497.
	+ Berisi terjemahan dari dua makalah berikut, dilengkapi komentar:
		- Dedekind, Richard (1890). *Letter to Keferstein*. On p. 100, he restates and defends his axioms of 1888. hlm. 98–103.
		- Peano, Giuseppe (1889). *Arithmetices principia, nova methodo exposita* [*The principles of arithmetic, presented by a new method*]. An excerpt of the treatise where Peano first presented his axioms, and recursively defined arithmetical operations. hlm. 83–97.
* Willard, Dan E. (2001). "Self-verifying axiom systems, the incompleteness theorem and related reflection principles" (PDF). *The Journal of Symbolic Logic*. **66** (2): 536–596. doi:10.2307/2695030. MR 1833464. Diarsipkan dari asli (PDF) tanggal 2020-11-09. Diakses tanggal 2020-07-16.   ;

## Bacaan lanjutan

* Raymond M. Smullyan (19 September 2013). *The Godelian Puzzle Book: Puzzles, Paradoxes and Proofs*. Courier Corporation. ISBN 978-0-486-49705-1.

## Pranala luar

* Podnieks, Karlis (2015-01-25). "3. First Order Arithmetic". *What is Mathematics: Gödel's Theorem and Around*. hlm. 93–121.
* (Inggris)  WIKINIUM\_MATH\_PH\_216
* Burris, Stanley N. (2001). "What are numbers, and what is their meaning?: Dedekind". Komentar mengenai karya Dedekind.