مُجْتَمَعٌ {نظرية المجموعات وأسس الرياضيات}