القائمة الرئيسية
القائمة الرئيسية
انقل للشريط الجانبي
أخف
تصفح
الصفحة الرئيسة
أحدث التغييرات
الصفحات الخاصّة
رفع ملف
تصفح
المواضيع
أبجدي
دليل الأسلوب
صفحة عشوائية
مشاريع شقيقة
معرفة_المصادر
معرفة_الأخبار
معرفة_البيانات
خريطة_ذهنية
المشاركة والمساعدة
بوابة المجتمع
مساعدة
الميدان
المعرفة
بحث
بحث
إنشاء حساب
دخول
أدوات شخصية
إنشاء حساب
دخول
قالب
:
Foundations-footer
قالب
ناقش هذه الصفحة
العربية
اقرأ
عرض المصدر
تاريخ
أدوات
أدوات
انقل للشريط الجانبي
أخف
إجراءات
اقرأ
عرض المصدر
تاريخ
عام
ماذا يرتبط هنا؟
تغييرات ذات علاقة
الصفحات الخاصّة
نسخة للطباعة
وصلة دائمة
معلومات عن هذه الصفحة
v
t
e
Major topics in
Foundations of Mathematics
Mathematical logic
Peano axioms
Mathematical induction
Formal system
Axiomatic system
Hilbert system
Natural deduction
Mathematical proof
Model theory
Mathematical constructivism
Modal logic
List of mathematical logic topics
Set theory
Set
Naive set theory
Axiomatic set theory
Zermelo set theory
Zermelo–Fraenkel set theory
Constructive set theory
Descriptive set theory
Determinacy
Russell's paradox
List of set theory topics
Type theory
Axiom of reducibility
Simple type theory
Dependent type theory
Intuitionistic type theory
Homotopy type theory
Univalent foundations
Girard's paradox
Category theory
Category
Topos theory
Category of sets
Higher category theory
∞-groupoid
∞-topos theory
Mathematical structuralism
Glossary of category theory
List of category theory topics
تصنيف
:
Foundations of Mathematics navigational boxes
تبديل عرض المحتوى المحدود