某个命题可以从某一组公理通过某一规则系统推导出来,这一事实本身并不使其为真。
We're in the business of entertainment, but we're also in the business of enlightenment.
二十世纪自由主义与极权主义之间的伟大斗争以前者的胜利告终。
Syntactic sugar causes cancer of the semicolon.
科学是一种探索和理解世界的方式。
书籍是最安静、最恒久的朋友;它们是最易接近、最睿智的顾问,也是最耐心的老师。