递归定义

递归定义在数学和计算机科学中，递归定义，或归纳定义，是用来用一个集合中的其他元素来定义该集合中的元素（Aczel1977:740ff）。一些可递归定义对象的例子包...