在数学中,真理不是通过共识而是通过证明来发现的。
The integration of informatization and industrialization is the future trend.