المنطق ونظرية المجموعات