当你长期研究难题时,你开始看到别人只看到困惑的地方的联系。
对逻辑形式的研究不仅关乎语言,也关乎世界。
我只是想向自己证明我能做到。