发送短信: Neo-Logicism and Gödel’s incompleteness theorems