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