اما المنطق ونظرية المجموعات تتكلم عن
منطق التقارير والروابط المنطقية – جداول الصواب – قواعد الاستنتاج في منطق التقارير – منطق الدرجة الأولى – الاستنتاج المنطقي – طرق الإثبات – المجموعات – المجموعات الجزئية – التقاطع والاتحاد – العلاقات وخواصها – علاقات التكافؤ وعلاقات الترتيب – الدوال – الدوال الشاملة – الدوال الأحادية – التناظرات الأحادية – المجموعات القابلة للترقيم (للعد) – الأعداد الترتيبية