「再帰的定義」の版間の差分

* [[21]]は最小の素数であるはない。

* 任意の1でない正の整数が素数であるとは、自身より小さいどの素数でも割り切れない数は素数ことである。

整数 21 がこの場合の基本ケースである。それより大きい整数 ''X'' が素数かどうかを判定するには、X と 21 の間の全ての整数について素数かどうかを知っている必要がある。しかし、そのような整数たちは X よりも基本ケースの 21 に近いので、この定義は再帰的定義として有効である。