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