Anfonwch hwn fel neges destun: Classical mathematical logic