Metamathematics ریاضی کے طریقوں کا استعمال کرتے ہوئے ریاضی کا مطالعہ ہے. یہ مطالعہ میٹیٹھیریٹس تیار کرتا ہے، جو ریاضیاتی نظریات دوسرے ریاضیاتی نظریات کے بارے میں ہیں. metamathematics (اور شاید اصطلاح کے قیام پر زور) 20 ویں صدی کے ابتدائی حصے میں ریاضی کے بنیادوں کو محفوظ کرنے کے لئے ڈیوڈ ہالببرٹ کی کوشش خود کو مجبور کرتا ہے. Metamathematics "ریاضی اور منطق کے لئے بنیاد کی دشواریوں کی ایک بڑی قسم کی تحقیقات کے لئے ایک سخت ریاضیاتی تکنیک فراہم کرتا ہے" (کلین 1952، صفحہ 59). metamathematics کی ایک اہم خصوصیت نظام کے اندر اور ایک نظام کے باہر سے استدلال کے درمیان مختلف پر زور دیا ہے. اس کا غیر رسمی مثال یہ ہے کہ "2 2 = 4" کی تجویز "ریاضی سے متعلق" کے مطابق ہے جس میں تجویز "2 2 = 4" جائزے کی درجہ بندی کرتے ہوئے "درست ہے" کے طور پر metamathematics کے.
|