المتوسّط · حقلٌ من المنطق
نظرية المجموعات والأسس
بديهيّاتُ ZF، والعَدَدُ الأصلي، ونتائجُ الاستقلال الكبرى: الأساسُ المعياريُّ الذي تُبنى عليه الرياضيات.
مدخلٌ مناسبٌ لـ الرياضيات
- المشكلة
- أثمّةَ أساسٌ واحدٌ متّسقٌ تُبنى منه الرياضياتُ كلُّها، وما حجمُ اللانهائي؟
- نقطةُ التحوّل
- مبرهنةُ كانتور تقول إنَّ مجموعةَ القوى أكبرُ دائمًا؛ ثم جاءت بَدْهَنةُ ZF فرَوَّضت المفارقات.
- سؤالٌ مفتوح
- فرضيةُ المتّصل مستقلةٌ عن ZFC، فأيُّ بديهيّاتٍ جديدةٍ، إن وُجِدت، تحسم حجمَ المتّصل؟
المتون
- Investigations in the Foundations of Set Theory 1908
- Set Theory: An Introduction to Independence Proofs
لدراسته
- Naive Set Theory
- Introduction to Set Theory
- The Joy of Sets