互联网应该是一个赋权的工具,而不是控制的工具。
The development of formal systems has revolutionized our understanding of mathematics.