عدد طبیعی
اعداد طبیعی یا اعداد صحیح مثبت اعدادی هستند که از یک شروع و تا بینهایت ادامه دارند و برای شمارش (به‌طور مثال در «شش سکه روی میز است») و برای ترتیب (به‌طور مثال در «این سومین شهر بزرگ در کشور است») به کار می‌روند. در اصطلاح‌شناسی ریاضیات، لغت مورد استفاده برای شمارش اشیاء «اعداد ترتیبی» است. مجموعهٔ اعداد طبیعی همان مجموعهٔ اعداد صحیح مثبت یعنی {... ،۱٬۲٬۳} است.
اصل خوش‌ترتیبی
بنا به اینکه اعداد طبیعی را در چه دستگاهی تعریف می‌کنیم، این ویژگی (خوش ترتیب بودن) اعداد طبیعی ممکن است یک «اصل» ویا یک «قضیه» باشد. برای مثال: در «دستگاه پئانو» اصل خوش ترتیبی اعداد طبیعی از «اصل» استقرای ریاضی نتیجه می‌شود.