#الجبر_التجريدي

يستعرض المقال أركان أسس وفلسفة الرياضيات وتطور المنطق الرياضي ونظرية المجموعات، مروراً بـ "أزمة الأسس" ومبرهنات غودل، وصولاً إلى العلاقة مع علوم الحاسوب النظرية ومفاهيم الرياضيات البحتة المتمثلة في الكمية والبنية.

يستعرض المقال التقسيمات الرئيسية لعلم الرياضيات، بدءاً من دراسة الأسس والفلسفة والمنطق، مروراً بجهود تبسيط وبناء الهياكل المجردة في الرياضيات البحتة كدراسة الكمية والبنية، وصولاً إلى الارتباط الوثيق بين نظرية الحوسبة وعلوم الحاسوب النظرية.