نمایش مبدأ برای اصول موضوعه پئانو

[[پرونده:Giuseppe Peano.jpg|بندانگشتی|جوزپه پئانو]]
در [[منطق ریاضی]]، '''اصول موضوعۀ پئانو '''{{به انگلیسی|Peano axioms}}'''، '''که''' '''همچنین تحت عنوان '''اصول موضوعۀ ددکیند-پئانو '''یا''' اصول پئانو '''شناخته می‌شوند، مجموعه‌ای از [[اصل (منطق)|اصول]] برای [[عدد طبیعی|اعداد طبیعی]] است که در قرن ۱۹ توسط [[ریاضی‌دان]] ایتالیایی [[جوزپه پئانو]] ارائه شد. این اصول تقریباً بدون هیچ تغییری در تعدادی از پژوهش‌های [[فرا ریاضیات|فرا ریاضیاتی]] استفاده شده‌است که از جملۀ آن‌ها می‌توان به پرسش‌های اساسی دربارهٔ اینکه آیا [[نظریه اعداد|نظریۀ اعداد]] [[سازگاری (منطق ریاضی)|سازگار]] و [[تمامیت (منطق) |تام]] است، اشاره کرد.

== فرمول‌بندی ==
زمانی که پئانو اصول موضوعه‌اش را فرمول‌بندی کرد، زبان [[منطق ریاضی]] طفولیت خود را سپری می‌کرد. سیستم نمادگذاری منطقی‌ای که او برای نشان دادن اصول ایجاد کرد، به تدریج نامحبوب از آب درآمدند؛ اگرچه این سرآغاز پیدایش نماد مدرن برای [[عنصر (ریاضیات)|عضویت مجموعه‌ای]] (∈، که از ε پئانو می‌آید) و [[استلزام]] (⊃، که از معکوس «C» پئانو می‌آید) بود.<ref name="ToolAutoGenRef1">{{harvnb|van Heijenoort|1967|page=83}}</ref> 

اصول پئانو خواص حسابی ''[[عدد طبیعی|اعداد طبیعی]]'' که با یک [[مجموعه (ریاضی)|مجموعه]] '''N''' یا <math>\mathbb{N}.</math> [[نمادهای غیر منطقی]] برای اصول، شامل یک نماد ثابت ۰ و یک نماد تابعی تک متغیره ''S ''می‌شود.

اصل نخست می‌گوید که ثابت ۰ یک عدد طبیعی است:

۱. ۰ یک عدد طبیعی است.

{{Ordered list}}چهار اصل بعدی، [[رابطه دوتایی|رابطه]] [[تساوی (ریاضیات)|تساوی]] را توصیف می‌کنند. از آنجایی که آن‌ها در منطق مرتبه اول دارای تساوی از نظر منطقی معتبرند، در ملاحظات مدرن، آن‌ها به عنوان بخشی از «اصول پئانو» در نظر گرفته نمی‌شود.<ref name=ToolAutoGenRef1/>{{Ordered list}}

۲. برای هر عدد طبیعی ''x''، داریم ''x = x''. یعنی تساوی [[رابطه بازتابی|بازتابی]] است.

۳. برای اعداد طبیعی ''x ''و ''y''، اگر ''x = y''، آنگاه'' y = x.'' یعنی تساوی، [[رابطه متقارن|تقارنی]] است.

۴. برای اعداد طبیعی ''y'' ,''x'' و ''z''، اگر ''x = y'' و ''y = z''، آنگاه ''x = z''. یعنی تساوی، [[رابطه متعدی|متعدی]] است.

۵. برای هر ''a'' و ''b''، اگر ''b'' یک عدد طبیعی بوده و ''a = b''، در آنصورت ''a'' نیز یک عدد طبیعی است. یعنی اعداد طبیعی تحت تساوی بسته‌اند.

باقی اصول موضوعه، خواص حسابی اعداد طبیعی را تعریف می‌کنند. اعداد طبیعی، مفروض اند بر اینکه تحت یک تابع «تالی» تک متغیره ''S'' بسته‌اند.

۶. برای هر عدد طبیعی ''S(n)'' ,''n'' یک عدد طبیعی است.

۷. برای اعداد طبیعی ''m'' و ''n''، داریم ''m = n'' اگر و تنها اگر ''{{رچ}}S(m) = S(n){{چر}}''. یعنی، ''S'' تابعی [[یک به یک|یک‌به‌یک]] است.

۸. برای هر عدد طبیعی ''n''، گزاره ''S(n) = ۰'' نادرست است. یعنی هیچ عدد طبیعی وجود ندارد که تالیش صفر باشد.

فرمول بندی اصلی پئانو از اصول موضوعه، ۱ را بجای ۰ به عنوان «نخستین» عدد طبیعی در نظر می‌گرفت.<ref>{{harvnb|Peano|1889|page=1}}</ref> این انتخاب، اختیاریست، چرا که اصل موضوعه ۱، عدد ۰ را به خواص بیشتری تجهیز نمی‌کند. اگرچه چون ۰ در حساب، [[عنصر همانی|همانی جمعی]] است، اغلب فرمول بندی‌های مدرن از اصول پئانو از ۰ آغاز می‌شوند. اصول ۱، ۶، ۷ و ۸ یک نمایش یکانی از مفهوم شهودی اعداد طبیعی تعریف می‌کنند: عدد ۱ می‌تواند به عنوان{{رچ}} ''S(۰){{چر}}''، عدد ۲ به عنوان {{رچ}}S(S(۰)){{چر}}، و … تعریف شوند. اگرچه، با فرض گرفتن اعداد طبیعی ای که از اصول موضوعه استخراج می‌شوند، اصول ۱، ۶، ۷ و ۸ تنیجه نمی‌دهند که تابع تالی کل اعداد طبیعی بجز ''۰'' را تولید می‌کند. به بیان دیگر، اینها تضمین نمی‌کنند که هر عدد طبیعی به غیر از صفر باید از یک عدد طبیعی دیگر پیشی بگیرد.

این تداعی شهودی که هر عدد طبیعی، یک رابطهٔ تالیت را با یک (در مورد عدد آغازین) یا دو (برای باقی اعداد) عدد دیگر را تجربه می‌کنند، یک اصل اضافی می‌خواهد، که گاهی به آن ''[[استقرای ریاضی|اصل استقراء]] ''گفته می‌شود.

۹. اگر K یک مجموعه باشد به طوری که:
* ۰ در K باشد،
* برای هر عدد طبیعی ''n''، وجود ''n'' در K نتیجه دهد که{{رچ}} ''S(n){{چر}}'' در K است،
در آنصورت K شامل همه اعداد طبیعی است.

اصل استقراء گاهی به صورت زیر تببین می‌شود:

۹. اگر ''φ'' یک [[محمول]] تک‌متغیره باشد به طوری که:
* {{رچ}} ''φ(۰)''{{چر}} صادق باشد،
* برای هر عدد طبیعی ''n''، صادق بودن ''{{رچ}}φ(n){{چر}}'' صادق بودن''{{رچ}} φ(S(n)){{چر}}'' را نتیجه دهد، در آنصورت ''{{رچ}}φ(n){{چر}}'' برای هر عدد طبیعی ''n'' برقرار است.

در فرمول بندی اصلی پئانو، اصل استقرا یک [[منطق مرتبه دوم|اصل مرتبه دوم]] است. امروزه رایج است که این اصل مرتبه دو را با یک اصل-طرح ضعیف‌تر [[منطق مسند|مرتبه اول]] جایگزین کنند. دو تفاوت مهم بین فرمول بندی‌های مرتبه اول و مرتبه دوم وجود دارد که پایین‌تر به آن‌ها خواهیم پرداخت.

== جستارهای وابسته ==
* [[بنیان‌های ریاضیات]]
* [[منطق‌گرایی]]

== پانویس ==
{{پانویس|30em|چپ‌چین=بله}}

== منابع ==
{{چپ‌چین}}
* {{cite book
|last= Peano
|first= Giuseppe
|year= 1889
|title= Arithmetices principia, nova methodo exposita
|trans-title= The principles of arithmetic, presented by a new method
|pages= 83–97
|url= https://archive.org/details/arithmeticespri00peangoog
|others= An excerpt of the treatise where Peano first presented his axioms, and recursively defined arithmetical operations.
|publisher= Fratres Bocca
}}
* {{cite book
|last= Van Heijenoort
|first= Jean
|year= 1967
|title= From Frege to Godel: A Source Book in Mathematical Logic, 1879–1931
|url= https://archive.org/details/fromfregetogodel0000vanh
|publisher= Harvard University Press
|isbn= 978-0-674-32449-7
}}
{{پایان چپ‌چین}}

{{بنیان‌ها-پاورقی}}
[[رده:اصول ریاضیاتی]]
[[رده:معرفی‌شده‌های ۱۸۸۹ (میلادی)]]
[[رده:منطق در علوم کامپیوتر]]
[[رده:منطق ریاضی]]
[[رده:نظریه‌های صوری حساب]]