某个命题可以从某一组公理通过某一规则系统推导出来,这一事实本身并不使其为真。
自由并不意味着有权做任何你想做的事情,而是有权做正确的事情。