摘要

<正>苏联数学家阿诺尔德说过:“证明之于数学,犹如拼写之于诗歌。如同诗歌由字符组成一样,数学工作是由证明组成的。”数学在定义、公理基础上,通过推理、证明得到一系列定理,从而组成逻辑体系。证明常常会涉及“定理”“公理”“推理”等名词,有的同学往往因为不能辨析这些名词,影响了下一步的学习。下面,让我们一起来梳理这些名词的内涵和关系。