A mathematical proof is a poem written in the language of logic.
数学家是模式的创造者,就像画家或诗人一样。