数学证明是用逻辑语言写成的诗。
A mathematical proof is a poem written in the language of logic.
Writing is a way of preserving the ephemeral.
释义：看到已经发生的事情要谨慎对待将要发生的事情，厌恶某种行为轨迹的人必须避开它。害怕危险的人才能平安，害怕灭亡的人才能生存。这是对谨慎行事、防患未然的智慧的强调。