Anfonwch hwn fel neges destun: Neo-Logicism and Gödel’s incompleteness theorems