Свойства множества целых неотрицательных чисел