For example, the definition of the natural numbers presented here directly implies the principle of mathematical induction for natural numbers: if a property holds of the natural number 0, and the property holds of n+1 whenever it holds of n, then the property holds of all natural numbers (Aczel 1978:742).
Наприклад, означення натуральних чисел наведене вище напряму містить принцип індукції для натуральних чисел: якщо властивість чинна для натурального числа 0, і властивість чинна для n+1 кожного разу, коли вона чинна для n, тоді властивість чинна для всіх натуральних чисел (Aczel 1978:742).