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