Аксиоматическое построение множества целых неотрицательных чисел Л А