序使用递归求n的阶乘fac 0 = 1fac n = n * fac (n-1)main = print( fac 10 )
数学之应用.递归定义集
实例：自然数.关于递归定义集的经典范例，可透过自然数来说明：
实例：可导出的命题集合.另一个有趣范例为，公理系统中，所有可导出命题之集合此集合称为，可导出之命题之集合，因为在数学基础方法中，依非建立性法构建的命题之集合，可能大于由公理系统及推理规则所递归构建出之集合，详细请参见