Anfonwch hwn fel neges destun: The origin of the logic of symbolic mathematics