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