اصلی مبتنی بر اینکه برای هر مجموعۀ می‌توان ترتیبی تعریف کرد که آن مجموعه را خوش‌ترتیب کند
اصل خوش ترتیبی
فرهنگ فارسی
دانشنامه عمومی
بنا به اصل خوشترتیبی اعداد طبیعی هر زیرمجموعه غیر تهی از اعداد طبیعی عضو ابتدا دارد.همچنین اصل خوشترتیبی در اعداد صحیح وجود دارد وهر زیر مجموعه نا تهی از اعداد صحیح دارای کوچک ترین عضو است.
بنا به اینکه اعداد طبیعی را در چه دستگاهی تعریف میکنیم,این ویژگی(خوش ترتیب بودن)اعداد طبیعی ممکن است یک "اصل" ویا یک "قضیه" باشد.برای مثال:در "دستگاه پـئانو" ] اصل خوش ترتیبی اعداد طبیعی از "اصل" استقرای ریاضی نتیجه میشود.
بنا به اینکه اعداد طبیعی را در چه دستگاهی تعریف میکنیم,این ویژگی(خوش ترتیب بودن)اعداد طبیعی ممکن است یک "اصل" ویا یک "قضیه" باشد.برای مثال:در "دستگاه پـئانو" ] اصل خوش ترتیبی اعداد طبیعی از "اصل" استقرای ریاضی نتیجه میشود.
wiki: اصل خوش ترتیبی
فرهنگستان زبان و ادب
{well-ordering principle} [ریاضی] اصلی مبتنی بر اینکه برای هر مجموعۀ می توان ترتیبی تعریف کرد که آن مجموعه را خوش ترتیب کند
کلمات دیگر: