حسابی‌سازی

روشی در منطق ریاضی که در آن استدلال‌های مبتنی بر اعداد طبیعی جایگزین استدلال‌های منطقی ـ ریاضی می‌شود