类型逻辑语法证明，自然语言的结构可以通过精致的逻辑工具得到优雅刻画。
邹崇理名人名言哲理格言警句语录 邹崇理
人们给同类施加痛苦没有其他原因，只是出于恶意。
叔本华
你不应该只是因为事物不同就做事情不同。他们需要更好。
埃隆·马斯克
我是个创意天才，没有其他方式可以形容。
I'm a creative genius and there's no other way to word it.
坎耶·韦斯特
Patience is the key to success in investing.
耐心是投资成功的关键。
约翰·内夫
这个城市没有草长莺飞的传说，它永远活在现实里面，快速的鼓点，匆忙的身影，麻木的眼神，虚假的笑容，而我正在被同化。
亚历克斯·希勒
幻想是诗人的翅膀，假设是科学的天梯。
歌德
逆境不就是命运的试金石吗？
巴尔扎克
科学发展到今天，我们看世界完全像盲人摸象一样，我们看到的世界是有形的，我们自己认为它是客观的世界。
施一公
统治世界的是想象力。
拿破仑
世上没有最大的数字同理,亦没有最后的革命。
乔治·奥威尔
哪有什么"养老产业"？其实都是“未来产业”。
罗振宇
死亡不是失去生命，而是走出了时间。
余华
数学是给不同事物赋予相同名称的艺术。
Mathematics is the art of giving the same name to different things.
彼得·舒尔茨
在我自己的故事中，我是否为主角，还是由别人担任那个角色，这些篇章必须表明。
狄更斯
法律是冰冷的，但律师的心应该是热的。
岳成
If you can't explain it simply, you don't understand it well enough.
爱因斯坦
每个时代都有理想中的继承人。
儒勒·米什莱
对聪明人而言，每天都是新生。
卡耐基
遭遇失败和苦难的时候，不是牢骚满腹，不是怨天尤人，而是忍受考验，坚持努力，将逆境转化为顺境。得意时不忘形，失意时不消沉，每日勤奋工作，这比什么都重要。
稻盛和夫