לוגיקה ותורת הקבוצות