数学的统一性不是强加的,而是被发现的。
采矿技术的创新不是一种选择,而是我们对工人和环境应尽的义务。
The only real life is the life of the mind.