Anfonwch hwn fel neges destun: Logic by Way of Set Theory