某个命题可以从某一组公理通过某一规则系统推导出来,这一事实本身并不使其为真。
我为那些能做出别人做不到的事情的时刻而活。
"Every discovery is a step closer to understanding the universe."
主要的义务规则是那些要求或禁止某些行为的规则。