某个命题可以从某一组公理通过某一规则系统推导出来,这一事实本身并不使其为真。
The poet is the voice of the silent universe.
当我看着这个世界时,我是悲观的,但当我看着人们时,我是乐观的。
即使其他人都认为你的想法很疯狂,也要坚持下去,不要停止,在你到达目标之前甚至都不要考虑停止,并且不要过多考虑“那里”是哪里。
我们要用技术连接世界,更要让技术普惠每个人。