اصل خوشترتیبی: تفاوت میان نسخه‌ها
محتوای حذف‌شده محتوای افزوده‌شده
Hamedpoor84 (بحث | مشارکتها) اصلاح اشتباه مطلب برچسب‌ها: ویرایش همراه ویرایش از وبگاه همراه |
Delijeh531 (بحث | مشارکتها) ویژگی پیوندهای پیشنهادی: ۲ پیوند افزوده شد. برچسب‌ها: ویرایشگر دیداری ویرایش همراه ویرایش از وبگاه همراه وظیفه تازهوارد پیشنهادی: افزودن پیوند |
||
خط ۱:
بنا به '''اصل خوشترتیبی [[اعداد طبیعی]]''' هر زیرمجموعه غیر تهی از اعداد طبیعی عضو ابتدا دارد.<ref>{{cite book|title=Introduction to Analytic Number Theory|last=Apostol|first=Tom|authorlink=Tom M. Apostol|year=1976|publisher=Springer-Verlag|location=New York|isbn=0-387-90163-9|pages=[https://archive.org/details/introductiontoan00apos_0/page/13 13]|url-access=registration|url=https://archive.org/details/introductiontoan00apos_0/page/13}}</ref>
بنا به اینکه اعداد طبیعی را در چه دستگاهی تعریف می‌کنیم، این ویژگی ([[خوش‌ترتیب|خوش ترتیب]] بودن) اعداد طبیعی ممکن است یک «اصل» ویا یک «قضیه» باشد. برای مثال:
در «دستگاه پئانو» اصل خوش ترتیبی اعداد طبیعی از «اصل» [[استقرای ریاضی]] نتیجه می‌شود.
== منابع ==
| |||