素数の定義を「自明でない（1と自分自身以外）約数の積に分解できない自然数」と考えた場合、「1を素数の定義に含めるか含めないか」が問題となる。
资料型别可以通过递回来进行定义，比如一个简单的递回定义为自然数的定义：“一个自然数或等于0，或等于另一个自然数加上1”。