Pātuhitia tēnei: Logic by Way of Set Theory