Mệnh đề và tập hợp