Hệ tiên đề Peano

Tập tin:Giuseppe Peano.jpg|nhỏ|Giuseppe Peano
Trong logic toán học, các tiên đề Peano, còn được gọi là các tiên đề Peano – Dedekind hay các định đề Peano, là các tiên đề cho các số tự nhiên được trình bày bởi nhà toán học người Ý thế kỷ 19 Giuseppe Peano. Những tiên đề đã được sử dụng gần như không thay đổi trong nhiều nghiên cứu siêu toán học, trong đó có nghiên cứu về vấn đề căn bản như việc liệu lý thuyết số có nhất quán và hoàn chỉnh hay không.
Nhu cầu hình thức hóa số học không được đánh giá cao cho tới công trình của Hermann Grassmann, người đã chỉ ra vào những năm 1860 rằng nhiều sự thật trong số học có thể được rút ra từ những sự thật cơ bản hơn về hàm successor và phép quy nạp.p= Năm 1881, Charles Sanders Peirce đã lập ra một hệ tiên đề về số học số tự nhiên. Trong năm 1888, Richard Dedekind đề xuất một tiên đề khác về số học số tự nhiên, và trong năm 1889, Peano đã xuất bản một phiên bản đơn giản hơn dưới dạng một tập hợp các tiên đề trong cuốn sách của ông, Các nguyên tắc số học được trình bày bởi một phương pháp mới (Arithmetices principia, nova methodo exposita).
Các tiên đề Peano chứa ba loại mệnh đề. Tiên đề đầu tiên khẳng định sự tồn tại của ít nhất một phần tử trong tập hợp các số tự nhiên. Bốn tiên đề tiếp theo là những mệnh đề chung về quan hệ bằng nhau; trong các lí thuyết hiện đại, chúng thường không được coi là một phần của tiên đề Peano, mà là của "nền tảng logic" đằng sau nó.p=94 Ba tiên đề tiếp theo là các mệnh đề bậc nhất về số tự nhiên biểu thị các tính chất cơ bản của hàm successor. Tiên đề thứ chín – tiên đề cuối cùng, là một mệnh đề bậc hai về nguyên tắc quy nạp toán học trên các số tự nhiên. Một hệ thống bậc nhất yếu hơn gọi là số học Peano có được bằng cách thêm các ký hiệu phép toán cộng và nhân một cách tường minh và thay thế tiên đề quy nạp bậc hai bằng sơ đồ tiên đề bậc nhất.

**Phát biểu**
Khi Peano phát biểu các tiên đề của mình, ngôn ngữ của logic toán học đang ở giai đoạn sơ khai. Hệ thống ký hiệu logic mà ông tạo ra để trình bày các tiên đề đã không trở nên phổ biến, mặc dù đó là nguồn gốc của ký hiệu hiện đại cho quan hệ liên thuộc (∈, xuất phát từ kí tự ε của Peano) và bao hàm (⊃, xuất phát từ chữ 'C' đảo ngược của Peano). Peano duy trì sự phân biệt rõ ràng giữa các ký hiệu toán học và logic, điều vốn chưa phổ biến trong toán học; một sự tách biệt như vậy lần đầu tiên được giới thiệu trong cuốn Begriffsschrift bởi Gottlob Frege, xuất bản năm 1879.p=2 Peano không biết gì về công trình của Frege và đã tái dựng lại bộ máy logic của ông ấy dựa trên công trình của Boole và Schröder.p=83
Các tiên đề Peano xác định các tính chất số học của các số tự nhiên, thường được biểu diễn dưới dạng tập N hoặc  Các ký hiệu phi logic cho các tiên đề bao gồm ký hiệu hằng số 0 và ký hiệu hàm một biến S.
Tiên đề đầu tiên nói rằng hằng số 0 là số tự nhiên: 0 là một số tự nhiên. Bốn tiên đề tiếp theo mô tả quan hệ bằng nhau. Vì chúng đều đúng về logic trong logic bậc nhất chứa quan hệ bằng nhau, chúng không được coi là một phần của "tiên đề Peano" trong các phương pháp hiện đại.p=83  Các tiên đề còn lại xác định các tính chất số học của các số tự nhiên. Các số tự nhiên được coi là đóng dưới một hàm "liền sau" (successor) đơn trị S.  Công thức ban đầu của Peano về các tiên đề sử dụng 1 thay vì 0 là số tự nhiên "đầu tiên".p=1 Lựa chọn này là tùy ý, vì tiên đề 1 không cung cấp thêm bất kỳ thuộc tính bổ sung nào cho số 0. Tuy nhiên, vì 0 là phần tử đơn vị của phép cộng trong số học, nên hầu hết các phát biểu hiện đại của các tiên đề Peano bắt đầu từ số 0. Tiên đề 1, 6, 7, 8 định nghĩa một cách biểu diễn đơn phân của khái niệm trực quan về số tự nhiên: số 1 có thể được định nghĩa là S(0), 2 là S(S(0)), v.v. Tuy nhiên, khi xem xét khái niệm số tự nhiên được xác định bởi các tiên đề này, các tiên đề 1, 6, 7, 8 không ngụ ý rằng hàm liền sau tạo ra tất cả các số tự nhiên khác 0. Nói cách khác, chúng không đảm bảo rằng mọi số tự nhiên khác 0 phải đứng liền sau một số tự nhiên khác.
Khái niệm trực quan rằng mỗi số tự nhiên có thể đạt được bằng cách tìm số liền sau từ số 0 đủ nhiều lần đòi hỏi một tiên đề bổ sung, đôi khi được gọi là tiên đề quy nạp.  Tiên đề quy nạp đôi khi được nêu ở dạng sau:  Trong công thức ban đầu của Peano, tiên đề quy nạp là một tiên đề bậc hai. Hiện nay người ta thường thay thế nguyên tắc bậc hai này bằng sơ đồ quy nạp bậc nhất yếu hơn. Có sự khác biệt quan trọng giữa các công thức bậc hai và bậc nhất, như được thảo luận trong phần Mô hình dưới đây.

**Số học**
Các tiên đề Peano có thể được bổ sung bằng các phép toán cộng và nhân và quan hệ thứ tự toàn phần (hay tuyến tính) thông thường trên N. Các hàm và quan hệ tương ứng được xây dựng theo lý thuyết tập hợp hoặc logic bậc hai, và có thể được cho thấy là duy nhất bằng cách sử dụng các tiên đề Peano.

**Phép cộng**
Phép cộng là một hàm ánh xạ hai số tự nhiên (hai phần tử của N) sang một số khác. Nó được định nghĩa đệ quy là:
 
Ví dụ:
 
Cấu trúc (N, +) là một monoid giao hoán với phần tử đơn vị 0. (N, +) cũng là một magma triệt tiêu, và do đó nhúng được trong một nhóm. Nhóm nhỏ nhất nhúng N là tập hợp số nguyên.

**Phép nhân**
Tương tự, phép nhân là một hàm ánh xạ hai số tự nhiên sang số khác. Ngoài ra, nó được định nghĩa đệ quy là:
 
Dễ dàng thấy rằng S (0) (hoặc "1", trong ngôn ngữ quen thuộc của biểu diễn thập phân) là đơn vị phải của phép nhân:
 a · S (0) = a + (a · 0) = a + 0 = a
Để chỉ ra rằng S(0) cũng là phần tử đơn vị trái của phép nhân cần có tiên đề quy nạp do cách định nghĩa phép nhân:- S(0) là phần tử đơn vị bên trái của 0: S(0) · 0 = 0. - Nếu S(0) là phần tử đơn vị bên trái của a (tức là S(0) · a = a), thì S(0) cũng là phần tử đơn vị bên trái của S(a): S(0) · S(a) = S(0) + S(0) · a = S(0) + a = a + S(0) = S(a+0) = S(a).
Do đó, bởi tiên đề quy nạp S (0) là phần tử đơn vị trái của phép nhân của tất cả các số tự nhiên. Hơn nữa, có thể chỉ ra rằng phép nhân có tính phân phối trên phép cộng:
 a · (b + c) = (a·b) + (a ·c).
Do đó, (N, +, 0, ·, S(0)) là một nửa vành giao hoán.

**Bất đẳng thức**
Quan hệ thứ tự toàn phần thông thường trên các số tự nhiên có thể được định nghĩa như sau: giả sử 0 là số tự nhiên
 Với mọi a, b ∈ N, a ≤ b khi và chỉ khi tồn tại một số c ∈ N sao cho 1=a + c = b.
Mối quan hệ này ổn định dưới phép cộng và nhân: cho , nếu a ≤ b, thì:- a + c ≤ b + c và - a · c ≤ b · c.
Do đó, cấu trúc (N, +, ·, 1, 0, ≤) là một nửa vành có thứ tự; bởi vì không có số tự nhiên trong khoảng từ 0 đến 1, nên nó là một nửa vành có thứ tự rời rạc.
Tiên đề quy nạp đôi khi được nêu ở dạng sau sử dụng giả thuyết mạnh hơn, sử dụng quan hệ thứ tự "≤":
 Đối với bất kỳ vị từ φ, nếu - φ(0) đúng, và - cho mỗi n, k ∈ N nếu k ≤ n suy ra rằng φ(k) đúng, thì φ(S(n)) là đúng, 
 thì với mọi n ∈ N, φ(n) đúng.
Dạng tiên đề quy nạp này, được gọi là quy nạp mạnh, là hệ quả của cách phát biểu chuẩn mực, nhưng thường phù hợp hơn cho việc lí giải về quan hệ thứ tự ≤. Ví dụ, để chỉ ra rằng tập hợp các số tự nhiên được sắp tốt — mọi tập hợp con không rỗng của N có một phần tử nhỏ nhất, ta có thể lý giải như sau. Cho X ⊆ N không rỗng và giả sử X không có phần tử nhỏ nhất.- Vì 0 là phần tử nhỏ nhất của N, nên 0 ∉ X - Với mọi n ∈ N, giả sử với mọi k ≤ n, k ∉ X Khi đó S(n) ∉ X, bởi nếu không nó sẽ là phần tử nhỏ nhất của X.
Do đó, theo nguyên lý quy nạp mạnh, với mọi n ∈ N, n ∉ X Do đó, 1=X ∩ N = ∅, mâu thuẫn với giả thiết rằng X là tập con không rỗng của N. Do đó X có phần tử nhỏ nhất.

**Lý thuyết số học bậc nhất**
Tất cả các tiên đề Peano ngoại trừ tiên đề thứ chín (tiên đề quy nạp) là các mệnh đề trong logic bậc nhất.p=215 Các phép toán số học của phép cộng và phép nhân và quan hệ thứ tự cũng có thể được xác định bằng các tiên đề bậc nhất. Tiên đề quy nạp có bậc hai, vì nó định lượng trên các vị từ (theo nghĩa tương đương, trên các tập hợp số tự nhiên chứ không phải trên các số tự nhiên), nhưng nó có thể được chuyển đổi thành sơ đồ tiên đề bậc nhất cho phép quy nạp. Một sơ đồ như vậy bao gồm một tiên đề cho mỗi vị ngữ định nghĩa được trong ngôn ngữ bậc nhất của số học Peano, khiến cho nó yếu hơn tiên đề bậc hai.1983 Lý do nó yếu hơn là vì số lượng vị từ trong ngôn ngữ bậc nhất là có thể đếm được, trong khi số lượng các tập hợp số tự nhiên là không đếm được. Do đó, tồn tại các tập hợp không thể được mô tả bằng ngôn ngữ bậc nhất (trên thực tế, hầu hết các tập hợp đều có thuộc tính này).
Các tiên đề bậc nhất của số học Peano có một hạn chế kỹ thuật khác. Trong logic bậc hai, có thể định nghĩa các phép toán cộng và nhân từ hàm liền sau, nhưng điều này không thể được thực hiện trong cấu trúc hạn chế hơn của logic bậc một. Do đó, các phép toán cộng và nhân được bao gồm trực tiếp trong signature của số học Peano và các tiên đề được đưa vào có liên quan đến ba phép toán với nhau.
Danh sách các tiên đề sau (cùng với các tiên đề thông thường về quan hệ bằng nhau), chứa sáu trong số bảy tiên đề của số học Robinson, là đủ cho mục đích này: p=155
Ngoài danh sách các tiên đề số này, số học Peano còn chứa sơ đồ quy nạp, bao gồm một tập hợp các tiên đề đếm được đệ quy. Đối với mỗi công thức φ(x, y1,..., yk) trong ngôn ngữ của Peano số học, tiên đề quy nạp bậc nhất cho φ là mệnh đề
 
Ở đâu  là viết tắt của y 1,..., y k. Sơ đồ quy nạp bậc nhất bao gồm tất cả các dạng của tiên đề quy nạp bậc nhất, có nghĩa là, nó bao gồm các tiên đề quy nạp cho mỗi công thức φ.

**Các hệ tiên đề tương đương**
Có nhiều tiên đề khác nhau, nhưng tương đương, của số học Peano. Trong khi một số tiên đề, chẳng hạn như mô tả vừa mô tả, sử dụng signature chỉ có số 0 và các phép toán nhân, phép cộng, phép nhân; các hệ tiên đề khác sử dụng ngôn ngữ về nửa vành có thứ tự, và bổ sung thêm ký hiệu quan hệ thứ tự. Một hệ tiên đề như vậy bắt đầu với các tiên đề sau đây mô tả một nửa cung có thứ tự rời rạc.pp=16–18
# , tức là phép cộng có tính kết hợp. 
# , tức là phép cộng có tính giao hoán. 
# , tức là phép nhân có tính kết hợp. 
# , tức là phép nhân có tính giao hoán. 
# , tức là phép nhân phân phối trên phép cộng. 
# , tức là số 0 là một phần tử đơn vị cho phép cộng và là một phần tử hấp thụ cho phép nhân (thực ra là thừa thãi "" có thể được chứng minh từ các tiên đề khác (trong logic bậc nhất) như sau. Thứ nhất,  bởi luật phân phối và phần tử đơn vị trên phép cộng. Thứ hai,  theo tiên đề 15. Nếu  thì  bởi phép cộng với cùng một phần tử và tính giao hoán, và vì thế  bằng phép thay thế, mâu thuẫn với tính không phản xạ. Vậy .). 
# , tức là, một là một phần tử đơn vị cho phép nhân. 
# , tức là toán tử ' −; lý thuyết PA thu được bằng cách thêm sơ đồ quy nạp bậc nhất. Một tính chất quan trọng của PA− là bất kỳ cấu trúc nào  thỏa mãn lý thuyết này có một đoạn mở đầu (được sắp bởi ) đẳng cấu với . Các phần tử trong đoạn đó được gọi là phần tử chuẩn mực, trong khi các phần tử khác được gọi là các phần tử không chuẩn mực.

**Mô hình**
Một mô hình của các tiên đề Peano là một bộ ba (N, 0, S), trong đó N là một tập hợp (nhất thiết là vô hạn), 0 ∈ N và S: N → N thỏa mãn các tiên đề ở trên. Dedekind đã chứng minh trong cuốn sách năm 1888 của mình, Bản chất và ý nghĩa của những con số (Was sind und was sollen die Zahlen?, tức là, "Số là gì và chúng có công dụng gì?") rằng hai mô hình bất kì của tiên đề Peano (bao gồm cả tiên đề quy nạp bậc hai) là đẳng cấu. Đặc biệt, với hai mô hình (NA, 0A, SA) và (NB, 0B, SB) của các tiên đề Peano, có một phép đồng hình duy nhất f: NA → NB thỏa mãn
 
và nó là một song ánh. Điều này có nghĩa là các tiên đề Peano bậc hai là có tính phạm trù. Tuy nhiên, điều này không áp dụng với bất kỳ cách xây dựng lại bậc nhất nào của các tiên đề Peano.

**Các mô hình lý thuyết tập hợp**
Các tiên đề Peano có thể được rút ra từ các cấu trúc được xây dựng bởi lý thuyết tập hợp của các số tự nhiên và các tiên đề của lý thuyết tập hợp như ZF. Cấu trúc chuẩn mực của số tự nhiên, theo John von Neumann, bắt đầu từ định nghĩa 0 là tập rỗng, ∅, và một toán tử s trên các tập hợp với định nghĩa:
 
Tập hợp các số tự nhiên N được định nghĩa là giao của tất cả các tập đóng dưới s mà có chứa tập rỗng. Mỗi số tự nhiên bằng (dưới dạng tập hợp) với tập hợp số tự nhiên nhỏ hơn số đó:
 
và cứ thế. Tập N cùng với 0 và hàm kế tiếp s: N → N thỏa mãn các tiên đề Peano.
Số học Peano có tính nhất quán tương đương với một số hệ thống yếu của lý thuyết tập hợp.loc=Section 7.6 Một ví dụ là hệ thống ZFC với tiên đề vô cùng được thay thế bằng phủ định của nó. Một ví dụ khác bao gồm lý thuyết tập hợp tổng quát (tiên đề quảng tính sự tồn tại của tập hợp rỗng và tiên đề về tập phụ thêm) được bổ sung thêm một sơ đồ tiên đề nói rằng một thuộc tính đúng với tập rỗng và đúng với tập phụ thêm bất cứ khi nào nó đúng với phần phụ thêm thì đúng với tất cả các tập hợp.

**Diễn giải trong lý thuyết phạm trù**
Các tiên đề Peano cũng có thể được hiểu bằng lý thuyết phạm trù. Đặt C là một phạm trù với đối tượng đầu cuối 1C và định nghĩa phạm trù của các hệ thống đơn phân nhọn, US1(C) như sau:- Các đối tượng của US1(C) là bộ ba (X, 0X, SX) trong đó X là đối tượng của C và 0X: 1C → X và SX: X → X là một C-cấu xạ. - Một cấu xạ φ: (X, 0X, SX)→ (Y, 0Y, SY)là một C-cấu xạ φ: X → Y với 1=φ 0X = 0Y và 1=φ SX = SY φ
Sau đó, C được cho là thỏa mãn các tiên đề Peano của Dedekind, nếu US1(C) có một đối tượng mở đầu; đối tượng mở đầu này được gọi là đối tượng số tự nhiên trong C. Nếu (N, 0, S) là đối tượng mở đầu này và (X, 0X, SX) là bất kỳ đối tượng nào khác, thì ánh xạ duy nhất u: (N, 0, S) → (X, 0X, SX) là
 
Đây chính xác là định nghĩa đệ quy của 0X và SX.

**Mô hình không chuẩn mực**
Mặc dù các số tự nhiên thông thường thỏa mãn các tiên đề của PA, nhưng cũng có các mô hình khác (được gọi là " mô hình không chuẩn mực "); định lý compact cho thấy rằng sự tồn tại của các phần tử không chuẩn mực là không thể loại trừ được trong logic thứ nhất.Sfn|Hermes|1973|loc=VI.4.3|ps=, presenting a theorem of Thoralf Skolem Định lý Löwenheim–Skolem đi lên cho thấy rằng có những mô hình PA không chuẩn mực cho tất cả các số đếm vô hạn. Điều này không áp dụng với hệ tiên đề Peano nguyên gốc (bậc hai), mô hình của nó là duy nhất sai khác đẳng cấu.loc=VI.3.1 Điều này minh họa một mặt mà hệ thống PA bậc một yếu hơn hệ tiên đề Peano bậc hai.
Khi được diễn giải như một định lý trong lý thuyết tập hợp bậc nhất, chẳng hạn như ZFC, định lí phạm trù của Dedekind cho PA cho thấy mỗi mô hình của lý thuyết tập hợp có một mô hình duy nhất của các tiên đề Peano, cho đến đẳng cấu, là một phân đoạn ban đầu của tất cả các mô hình PA khác có trong mô hình lý thuyết tập hợp đó. Trong mô hình chuẩn của lý thuyết tập hợp, mô hình PA nhỏ nhất này là mô hình chuẩn của PA; tuy nhiên, trong một mô hình không chuẩn mực của lý thuyết tập hợp, nó có thể là một mô hình không chuẩn mực của PA. Tình trạng này không thể tránh được với bất kỳ cách hình thức hóa bậc nhất nào của lý thuyết tập hợp.
Hiển nhiên là có câu hỏi liệu một mô hình không chuẩn mực đếm được có thể được xây dựng rõ ràng hay không. Vào năm 1933, Skolem khẳng định là có thể khi đưa ra một cấu trúc rõ ràng của một mô hình phi tiêu chuẩn như trên. Mặt khác, định lý của Tennenbaum, đã được chứng minh vào năm 1959, cho thấy rằng không có mô hình PA không chuẩn mực đếm được nào trong đó phép cộng hoặc nhân là có thể tính toán được.loc=Section 11.3 Kết quả này cho thấy rất khó để làm rõ ràng hoàn toàn trong việc mô tả các phép cộng và nhân của một mô hình PA không chuẩn mực có thể đếm được. Chỉ có một kiểu số đếm khả dĩ cho một mô hình không chuẩn mực có thể đếm được. Cho ω là kiểu thứ tự của các số tự nhiên, ζ là kiểu thứ tự của các số nguyên, và η là kiểu thứ tự của số hữu tỉ, kiểu thứ tự của bất cứ mô hình không chuẩn mực đếm được của PA là ω + ζ·η có thể hình dung như một bản sao của các số tự nhiên theo sau là một thứ tự tuyến tính dày đặc của các bản sao của các số nguyên.

**Overspill**
Một lát cắt trong mô hình không chuẩn mực M là tập con khác rỗng C của M sao cho C đóng theo chiều xuống (x 0. Gentzen giải thích: "Mục đích của bài viết hiện tại là chứng minh tính nhất quán của lý thuyết số cơ bản hay nói đúng hơn là rút gọn câu hỏi về tính nhất quán về các nguyên lí cơ bản nhất định". Định lí của Gentzen được cho là có tính hữu hạn, vì số thứ tự siêu hạn ε0 có thể được mã hóa bằng các đối tượng hữu hạn (ví dụ, như một máy Turing mô tả một trật tự phù hợp trên các số nguyên, hoặc trừu tượng hơn là bao gồm các cây hữu hạn, được sắp xếp tuyến tính phù hợp). Việc định lí của Gentzen có đáp ứng các yêu cầu mà Hilbert đã hình dung hay không vẫn chưa rõ ràng: không có định nghĩa được chấp nhận chung về nghĩa chính xác của định lý hữu hạn là gì, và bản thân Hilbert không bao giờ đưa ra một định nghĩa chính xác.
Đại đa số các nhà toán học đương đại tin rằng các tiên đề của Peano là nhất quán, dựa vào trực giác hoặc chấp nhận một định lý nhất quán như định lý của Gentzen. Một số ít các nhà triết học và toán học, trong số họ cũng ủng hộ chủ nghĩa hữu hạn cực đoan, từ chối các tiên đề của Peano vì việc chấp nhận các tiên đề cũng có nghĩa là chấp nhận tập hợp vô hạn của các số tự nhiên. Ví dụ như, phép cộng (bao gồm cả hàm liền sau) và phép nhân được coi là toàn ánh. Kì lạ là, tồn tại các lý thuyết tự kiểm chứng tương tự như PA nhưng có phép trừ và phép chia thay vì phép cộng và phép nhân, mà được tiên đề hóa theo cách để tránh chứng minh các mệnh đề tương ứng với tính toàn xạ của cộng và nhân, nhưng vẫn có thể chứng minh tất cả định lý đúng lớp  của PA, và vẫn có thể được mở rộng thành một lý thuyết nhất quán chứng minh tính nhất quán của chính nó (rằng không tồn tại một định lí "0 = 1" theo kiểu Hilbert).2001

**Xem thêm**
Nền tảng của toán học
*Định lý Frege
*Định lý Goodstein
*Chủ nghĩa logic cách tân
*Mô hình số học không chuẩn mực
*Định lý Paris–Harrington
*Số học Presburger
*Số học Robinson
*Số học bậc hai
*Lý thuyết số đánh máy

**Chú thích**

**Tham khảo**

**Trích dẫn**

**Nguồn**
 chú thích sách|title=Computability. Notes by Barry Jacobs.|last=Davis|first=Martin|publisher=Courant Institute of Mathematical Sciences, New York University|year=1974|author-link=Martin Davis (mathematician)- archive-url=https://web.archive.org/web/20161020135148/http://digisrv-1.biblio.etc.tu-bs.de:8080/docportal/servlets/MCRFileNodeServlet/DocPortal_derivate_00005731/V.C.125.pdf 
** Two English translations:
*** chú thích sách|url=http://www.gutenberg.org/files/21016/21016-pdf.pdf|title=Essays on the Theory of Numbers|last=Beman|first=Wooster, Woodruff|publisher=Dover|year=1901
*** chú thích sách|url=https://books.google.ca/books?id=Nt_uAAAAMAAJ|title=From Kant to Hilbert: A Source Book in the Foundations of Mathematics|last=Ewald|first=William B.|publisher=Oxford University Press|isbn=9780198532712|pages=787–832- url-access=registration- chú thích tạp chí|last=Gentzen|first=Gerhard|author-link=Gerhard Gentzen|year=1936|others=Reprinted in English translation in his 1969 Collected works, M. E. Szabo, ed.|title=Die Widerspruchsfreiheit der reinen Zahlentheorie|url=https://archive.org/details/sim_mathematische-annalen_1936_112/page/132|journal=Mathematische Annalen|volume=112|pages=132–213|doi=10.1007/bf01565428- chú thích tạp chí|last=Gödel|first=Kurt|author-link=Kurt Gödel|year=1931|others=See On Formally Undecidable Propositions of Principia Mathematica and Related Systems for details on English translations.|title=Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I|url=http://www.w-k-essler.de/pdfs/goedel.pdf|journal=Monatshefte für Mathematik|volume=38|pages=173–198|doi=10.1007/bf01700692- chú thích tạp chí|last=Gödel|first=Kurt|author-link=Kurt Gödel|year=1958|others=Reprinted in English translation in 1990. Gödel's Collected Works, Vol II. Solomon Feferman et al., eds.|title=Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes|journal=Dialectica|publisher=Oxford University Press|volume=12|pages=280–287|doi=10.1111/j.1746-8361.1958.tb01464.x- publisher=Enslin- chú thích sách|title=Henri Poincaré: A scientific biography|last=Gray|first=Jeremy|publisher=Princeton University Press|year=2013|isbn=0-691-15271-3|page=133|chapter=The Essayist|author-link=Jeremy Gray|chapter-url=https://books.google.com/books?id=w2Tya9gOKqEC&pg=PA133- doi=10.1007/978-94-015-7676-5_8- origyear=1982 Derives the Peano axioms (called S) from several axiomatic set theories and from Thể loại theory.- issn=1431-4657 - translator-last=Winton- chú thích sách|title=Models of Peano arithmetic|last=Kaye|first=Richard|publisher=Oxford University Press|year=1991|isbn=0-19-853213-X- chú thích sách|title=Grundlagen Der Analysis|last=Landau|first=Edmund|publisher=AMS Chelsea Publishing|others=Derives the basic number systems from the Peano axioms. English/German vocabulary included.|year=1965|isbn=978-0-8284-0141-8|author-link=Edmund Landau- edition=5 - isbn=978-94-009-2213-6- mr=1507856 - url-access=registration- chú thích sách|url=https://archive.org/details/axiomaticsettheo00supp_0|title=Axiomatic Set Theory|last=Suppes|first=Patrick|publisher=Dover|others=|year=1960|ISBN=0-486-61630-4|author-link=Patrick Suppes|url-access=registration Derives the Peano axioms from ZFC- chú thích sách|url=https://archive.org/details/formalizationofs0000tars|title=A Formalization of Set Theory without Variables|last1=Tarski|first1=Alfred|last2=Givant|first2=Steven|publisher=American Mathematical Society|year=1987|isbn=978-0-8218-1041-5|series=AMS Colloquium Publications|volume=41|author-link1=Alfred Tarski|url-access=registration- author-link=Jean van Heijenoort 
** Contains translations of the following two papers, with valuable commentary:
*** author-link=Richard Dedekind
*** author-link=Giuseppe Peano
*archive-url=https://web.archive.org/web/20201109033211/http://www.cs.albany.edu/~dew/m/jsl1.pdf

**Đọc thêm**
 author-link=Raymond M. Smullyan

**Liên kết ngoài**
 Chú thích web|url=http://www.utm.edu/research/iep/p/poincare.htm|tựa đề=Henri Poincaré|tác giả=Murzi|tên=Mauro|website=Internet Encyclopedia of Philosophy|ngày truy cập=2020-04-25|archive-date=2004-02-02|archive-url=https://web.archive.org/web/20040202060803/http://www.utm.edu/research/iep/p/poincare.htm|url-status=dead Gồm có một cuộc tranh luận về nhận xét của Poincaré về các tiên đề Peano.- chapter=3. First Order Arithmetic- title=Peano axioms- title=Peano arithmetic- title=Peano's Axioms- url-status=dead Bình luận về công trình của Dedekind.
Thể loại:Logic toán
Thể loại:Logic trong khoa học máy tính
Thể loại:Hệ tiên đề
Thể loại:Giới thiệu năm 1889