بالاترین سوالات
زمانبندی
چت
دیدگاه
اصل خوشترتیبی
از ویکیپدیا، دانشنامه آزاد
Remove ads
بنا به اصل خوشترتیبی اعداد طبیعی (به انگلیسی: Well-ordering principle) هر زیرمجموعۀ غیر تهی از اعداد طبیعی، عضو ابتدا دارد.[۱]
بنا به اینکه اعداد طبیعی را در چه دستگاهی تعریف میکنیم، این ویژگی (خوشترتیب بودن) اعداد طبیعی ممکن است یک «اصل» و یا یک «قضیه» باشد. برای مثال: در «دستگاه پئانو»، اصل خوشترتیبی اعداد طبیعی از «اصل» استقرای ریاضی نتیجه میشود.
منابع
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads