منطق ریاضی و جبر مجموعه‌ها