هيلبرت عايز يظهر تناسق الأنظمة الرياضية من افتراض إن "الحساب الأخراني" (نظام مش أساسي للحساب العادي للأعداد الصحيحة الموجبة، اختاروه علشان ما يعملش مشاكل من الناحية الفلسفية) كان متنظم.