Seol mar théacs é seo: Neo-Logicism and Gödel’s incompleteness theorems