اصل خوشترتیبی
از ویکیپدیا، دانشنامهٔ آزاد
| در متن این مقاله از هیچ منبع و مأخذی نام برده نشدهاست. شما میتوانید با افزودن منابع برطبق اصول اثباتپذیری و شیوهنامهٔ ارجاع به منابع، به ویکیپدیا کمک کنید. مطالب بیمنبع احتمالاً در آینده حذف خواهند شد. |
بنا به اصل خوشترتیبی اعداد طبیعی هر زیرمجموعه غیر تهی از اعداد طبیعی عضو ابتدا دارد.همچنین اصل خوشترتیبی در اعداد صحیح وجود دارد وهر زیر مجموعه نا تهی از اعداد صحیح دارای کوچکترین عضو است.
بنا به اینکه اعداد طبیعی را در چه دستگاهی تعریف میکنیم,این ویژگی(خوش ترتیب بودن)اعداد طبیعی ممکن است یک "اصل" ویا یک "قضیه" باشد.برای مثال: در "دستگاه پـئانو" [[۱]] اصل خوش ترتیبی اعداد طبیعی از "اصل" استقرای ریاضی نتیجه میشود.
| این یک نوشتار خُرد پیرامون ریاضیات است. با گسترش آن به ویکیپدیا کمک کنید. |