Strategies -- ?Z: Zermelo's Set Theory as a PTS with 4 Sorts -- Exploring the Regular