2IHT10 (2025-GS1) Logic and Set Theory