منطق و نظریه مجموعه ها