One can't proceed from the informal to the formal by formal means.

The database is the most important piece of software in the enterprise, and the most important piece of software in the enterprise is the database.

Mathematics is not a spectator sport. You have to do it to understand it.

要理解一个句子的意义，我们必须考虑说话者的意图和话语的背景。