递归定义与归纳证法

摘要

递归定义与归纳证法是数学中最基本、最原始的手段,它不象一般人所认为的那样只是自然数所特有的。本文通过揭示递归定义与归纳证法的实质表明它们是本质上不依赖于自然数的逻辑系统内的特征,因而也适用于许多非自然数的对象。