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