Anfonwch hwn fel neges destun: A tour through mathematical logic