عدد صحیح
عدد صحیح یا عدد درست، عددی است که می‌تواند بدون جزء کسری نوشته شود. برای مثال، ۲۱، ۴، ۰، و ۴− عدد صحیح هستند، در حالی که ۹٫۷۵، و عدد صحیح نیستند؛ مجموعه اعداد صحیح از صفر (۰)، اعداد طبیعی مثبت (۱، ۲، ۳، ...)، که همچنین "اعداد شمارشی" نیز گفته می‌شوند، و وارون جمعیشان (اعداد صحیح منفی، یعنی، ۱−، ۲−، ۳−، ...) تشکیل شده‌است.
اصل خوش‌ترتیبی
بنا به اینکه اعداد طبیعی را در چه دستگاهی تعریف می‌کنیم، این ویژگی (خوش ترتیب بودن) اعداد طبیعی ممکن است یک «اصل» ویا یک «قضیه» باشد. برای مثال: در «دستگاه پئانو» اصل خوش ترتیبی اعداد طبیعی از «اصل» استقرای ریاضی نتیجه می‌شود.