递归定义(recursive definition)亦称归纳定义 recursive递归 Definition定义清晰度定界

常见的定义方法

1.原始概念。

比如，代数中的集合、元素、对应等，几何中的点、线、面等。

2.属加种差定义法。

这种定义法是中学数学中最常用的定义方法，该法即按公式“邻近的属+种差=被定义概念”下定义。例如，平行四边形给出如下的定义方式：“一组对边平行并且相等的四边形叫做平行四边形”。其中，平行四边形的概念邻近的属是四边形，平行四边形区别于四边形的其他种概念的属性即种差是“一组对边平行并且相等”。
属加种差的定义方法有两种特殊形式：①发生式定义方法。例如，“在平面内，一个动点与一个定点等距离运动所成的轨迹叫做圆”;②关系定义法。例如，“大于直角而小于平角的叫做钝角”。

3.外延定义法。

例如，整数和分数统称为有理数;正弦、余弦、正切和余切函数叫做三角函数;椭圆、双曲线和抛物线叫做圆锥曲线。
外延定义有一种特殊的形式：约定式定义法。

4.词语定义法。

用词语说明被定义项的含义的方式。例如：“∈”表示属于。

5.递归定义法。

一般适用于自然数的性质有直接关系的对象。

6.公理式定义法。