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