Үүнийг мессежээр илгээх: Logic by Way of Set Theory