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