Теорема о существовании арифметики натуральных чисел