文章认为汉语与数学语言同构：数学是语义先行的形式系统，语法极简，符号直接表意，本质是跨语言的“简化字”。汉语表意、无形态屈折、语义优先，运算符可一一对应念成汉字，结构不变；英语表音且语法先行，符号须先译成词再套入主谓、时态、冠词模具，故数学公式只能“翻译”成英语，形成生硬的“数学英语”。

本文探讨了“鬼”符号的意义，认为它是一个没有内容的形式符号，每个人都可以向其中加入自己的内容和理解。上海万圣节的特点是cosplay，将各种奇装异服带上了街头。数学是一种形式逻辑，没有数学语言就没有科学思想。形式证明可以帮助发现错误。