metamathematics

💡 Soon it dawned on a few insightful souls, Godel foremost among them, that this way of looking at things opened up a brand-new branch of mathematics--namely, metamathematics.

خیلی زود برای چند نفر از افراد بصیر، که در رأس آنها گودل بود، آشکار شد که این شیوه‌ی نگاه به چیزها، شاخه‌ی کاملاً جدیدی از ریاضیات - یعنی فراریاضیات - را ایجاد می‌کند.