ہلبرٹن مقصد اوس اَمہ مفروض سۭتۍ ریاضیاتی نظاموٕ ہنٛز مستقل مزاجی ظاہر کرن أسہ کہ " finitary rithmetic"\n" (مثبت عددچ عام ریاضی ہنٛد اکھ ذیلی نظام، زن فلسفیانہ طورس پیٹھ غأر متنازعہ اَسنہ خاطرٕ چُنن ین) مطابقت اوس تھوان۔