Logic is the foundation of all mathematical reasoning.

If you can't afford to lose, you can't afford to win.

It is easier to change the specification to fit the program than vice versa.

权力不是给予你的。你必须自己去夺取。

寻找互反律是数学史上的一个基本主题。