2IHT10 (2025-GS2) Logic and Set Theory