اصل خوش‌ترتیبی: تفاوت میان نسخه‌ها

محتوای حذف‌شده محتوای افزوده‌شده
جزبدون خلاصۀ ویرایش
بدون خلاصۀ ویرایش
خط ۱:
{{بدون منبع}}
 
بنا به '''اصل خوشترتیبی [[اعداد طبیعی]]''' هر زیرمجموعه غیر تهی از اعداد طبیعی عضو ابتدا دارد. همچنین اصل خوشترتیبی در [[اعداد صحیح]] وجود دارد وهر زیر مجموعه نا تهی از اعداد صحیح دارای کوچک‌ترین عضو است.
 
بنا به اینکه اعداد طبیعی را در چه دستگاهی تعریف میکنیم،اینمی‌کنیم، این ویژگی (خوش ترتیب بودن) اعداد طبیعی ممکن است یک "«اصل"» ویا یک "«قضیه"» باشد. برای مثال:
در "«دستگاه پـئانو"پئانو» اصل خوش ترتیبی اعداد طبیعی از "«اصل"» استقرای ریاضی نتیجه میشودمی‌شود.
 
{{ریاضی-خرد}}