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