الگو:بنیان‌ها-پاورقی - ویکی‌پدیا، دانشنامهٔ آزاد

ن ب و موضوعات اصلی در بنیان‌های ریاضیات
منطق ریاضی	اصول موضوعه پئانو استقرای ریاضی دستگاه اصول‌موضوعه‌ای اثبات ریاضیات نظریه مدل برساخت‌گرایی (ریاضیات) منطق موجهات لیست موضوعات منطق ریاضی
نظریه مجموعه‌ها	مجموعه (ریاضیات) نظریه طبیعی مجموعه‌ها نظریه مجموعه‌ها نظریه مجموعه‌های زرملو نظریه مجموعه‌های زرملو-فرانکل نظریه توصیفی مجموعه‌ها قطعیت پارادوکس راسل لیست موضوعات نظریه مجموعه‌ها
نظریه رسته‌ها	رسته (ریاضیات) نظریه نوع‌ها نظریه توپوز واژه نامه نظریه رسته‌ها لیست موضوعات نظریه رسته‌ها