形式系统的发展彻底改变了我们对数学的理解。
爱情是个应该一无所知的孩子。
The battle of life is already half won by the young man who is brought personally in contact with high officials; and the great aim of every boy should be to do something beyond the sphere of his duties--something which attracts the attention of those who over him.