المحور الأول (محور تمهيدي): نظرية المجموعات