عدد حسابی
اعداد حسابی همان اعداد طبیعی در دستگاه اعداد عربی هستند که صفر هم به آنها اضافه شده‌است. به اعداد حسابی اعداد صحیح نامنفی هم گفته می‌شود.  مجموعه اعداد طبیعی {... ، ۴، ۳ ،۲ ،۱} است. در این مجموعه عدد صفر وجود ندارد و با اضافه کردن آن، مجموعه اعداد حسابی- {... ،۳ ،۲ ،۱ ،۰} - به وجود می‌آید؛ و به صورت W که میان آن یک ممیز می‌باشد نشان داده می‌شود. در حقیقت W حرف اول کلمه انگلیسی Whole به معنی کامل است تمامی مجموعه‌هایی که از این نوع اعداد درست شده را با I نشان می‌دهند.
صدق‌پذیری در پیمانه نظریات
صدق‌پذیر هست یا نه. سپس این مسائل به صورت کلی تصمیم‌ناپذیر می‌شوند. (نظریه ، و از این رو نظریه مرتبه اول از اعداد حقیقی، توسط حذف سور تصمیم‌پذیر هستند. این موضوع را مدیون آلفرد تارسکی هستیم) نظریه مرتبه اول اعداد طبیعی با جمع (اما بدون ضرب) نامیده می‌شود، که آن هم تصمیم‌پذیر است. به دلیل آنکه ضرب کردن با ثابت‌ها را می‌توان به صورت جمع‌های تودرتو پیاده‌سازی کرد، حساب در بسیاری از برنامه‌های رایانه‌ای قابل بیان به کمک حساب پرسبورگر است، که این موضوع منجر به فرمول‌های تصمیم‌پذیر می‌شود.