Существование сложения натуральных чисел : Мат. логика, основания математики, те