Определение и свойства натуральных чисел