某个命题可以从某一组公理通过某一规则系统推导出来,这一事实本身并不使其为真。
Every aspect of learning or any other feature of intelligence can in principle be so precisely described that a machine can be made to simulate it.
I'm not interested in fitting in. I'm interested in standing out.