##### 数学定义 - 数学定义 - **数学定义**以非常具体的方式规定某一数学对象的含义, 需要列出该对象需要具有的属性, 关联于逻辑上的[[定义|定义]], 使用定义符号 $:=$ 表示, 出于区分难度本文档混合使用 $=$ 和 $:=$ . 如果一个定义赋予某一数学对象唯一的解释或值的表达式, 则称为良定义的, 用于确认用一组基本公理以数学或逻辑的方式定义的某个概念或对象是完全无歧义的. 特别的, [[递归]]是一种自指的定义结构