Үүнийг мессежээр илгээх: Neo-Logicism and Gödel’s incompleteness theorems