ما بعد الرياضيات / Metamathematics

• مفهوم يدل على النظرية التي تدرس الصفات المختلفة للأنساق والحسابات الصورية (عدم التناقض، الاكتمال الخ). وقد أخل هيلبرت مصطلح ما بعد الرياضيات فيما يتعلق بمفهومه في أسس الرياضيات (أنظر المذهب الصوري). وفي الماضي كان قد تم التوصل إلى عدد من النتائج الهامة (نظرية جوديل في عدم اكتمال الحساب الصوري وفي استحالة البرهنة على عدم تناقض نسق ما بواسطة الوسائل المصاغة صياغة صورية في مثل هذه الأنساق).