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

محتوای حذف‌شده محتوای افزوده‌شده
خنثی‌سازی ویرایش 17508832 توسط 151.247.13.7 (بحث) فحن-قبلا گفته شده بالاتر
Rezabot (بحث | مشارکت‌ها)
جز ربات ردهٔ همسنگ (۳۰.۱) +مرتب+تمیز (۱۴.۹ core): + رده:اصل‌های ریاضیاتی
خط ۳:
بنا به '''اصل خوشترتیبی [[اعداد طبیعی]]''' هر زیرمجموعه غیر تهی از اعداد طبیعی عضو ابتدا دارد.همچنین اصل خوشترتیبی در [[اعداد صحیح]] وجود دارد وهر زیر مجموعه نا تهی از اعداد صحیح دارای کوچک‌ترین عضو است.
 
بنا به اینکه اعداد طبیعی را در چه دستگاهی تعریف میکنیم,اینمیکنیم،این ویژگی(خوش ترتیب بودن)اعداد طبیعی ممکن است یک "اصل" ویا یک "قضیه" باشد.برای مثال:
در "دستگاه پـئانو" [[//en.wikipedia.org/wiki/Second-order_arithmetic]] اصل خوش ترتیبی اعداد طبیعی از "اصل" استقرای ریاضی نتیجه میشود.
 
{{ریاضی-خرد}}
 
[[رده:نظریه مجموعه‌ها]]
[[رده:اصل‌ها]]
[[رده:اصل‌های ریاضیاتی]]
[[رده:نظریه مجموعه‌ها]]