بنیان‌های ریاضیات

از ویکی‌پدیا، دانشنامهٔ آزاد.

بنیان‌های ریاضیّات (Foundations of mathematics) نامی‌ست که به مجموعۀ زمینه‌های ویژه‌ای در ریاضیّات داده شده است. عمده‌ترین این زمینه‌ها عبارت است از: منطق ریاضی، نظریه مجموعه‌ها مبتنی‌بر ‌اصول موضوع، نظریه برهان‌ها، نظریه مدل‌ها، و نظریه بر‌گشت‌پذیری.