定义

定义为某种数学对象赋予属性。例如，欧几里得的《几何原本》以许多定义开头，例如“线是没有宽度的长度”。在定义之后，欧几里得给出了公设或公理。基于这些，他提供了一些证明和构造。