It's up to you what kind of axioms

It's up to you what kind of axioms you choose, but they should capture our intuition of what maths is about. A very neat set of axioms was developed in the 19th century by the Italian mathematician Giuseppe Peano. As you can see in the box above, Peano's axioms deliver a definition of the natural numbers and their ordering. The simplest formal system based on Peano's axioms is known as Peano arithmetic

ผลลัพธ์ (ไทย) 1:

ก็ขึ้นอยู่กับสิ่งที่ชนิดของหลักการที่คุณเลือก แต่พวกเขาควรจับสัญชาตญาณของเราในสิ่งที่เกี่ยวกับคณิตศาสตร์ ชุดอย่างมากของหลักการได้รับการพัฒนาในศตวรรษที่ 19 โดยอาโน่คณิตศาสตร์ giuseppe italian อย่างที่คุณเห็นในช่องด้านบนหลักการของอาโน่ให้คำนิยามของจำนวนธรรมชาติและการสั่งซื้อของพวกเขาระบบอย่างเป็นทางการที่ง่ายขึ้นอยู่กับหลักการของอาโน่เป็นที่รู้จักกันเลขคณิตอาโน่

ผลลัพธ์ (ไทย) 2:

มันขึ้นอยู่กับคุณอะไรของสัจพจน์ที่คุณเลือก แต่พวกเขาควรจับของสัญชาตญาณของคณิตศาสตร์ว่าเป็นเกี่ยวกับการ ชุดสิริมงคลของสัจพจน์เป็นพัฒนาในศตวรรษที่ 19 โดยนักคณิตศาสตร์อิตาลีจูเซ Peano ดังที่คุณเห็นในกล่องข้าง สัจพจน์ของ Peano ส่งคำนิยามของหมายเลขธรรมชาติและการสั่งซื้อ ระบบอย่างง่ายตามสัจพจน์ของ Peano ว่าเลขคณิต Peano

ผลลัพธ์ (ไทย) 3:

ก็ขึ้นอยู่กับตัวคุณว่าไม่ต้องพิสูจน์)คุณสามารถเลือกแต่ควรจะถ่าย ภาพ คาดเดาของเราของวิชาคณิตศาสตร์มีอะไรเกี่ยวกับ ตั้งค่าเป็นระเบียบเรียบร้อยเป็นอย่างมากของไม่ต้องพิสูจน์)ได้รับการพัฒนาขึ้นในช่วงศตวรรษที่ 19 โดยเมอร์ริลล์เกิด peano นักคณิตศาสตร์อิตาเลียน คุณจะเห็นว่าในกล่องที่ด้านบนไม่ต้องพิสูจน์)ของ peano ให้คำนิยามของตัวเลขธรรมชาติและการออกใบสั่งซื้อของลูกค้าระบบที่ใช้งานง่ายอย่างเป็นทางการที่ไม่ต้องพิสูจน์)ของ peano เป็นที่รู้จักกันในชื่อ peano ธรรมดา