Я не так силен в математике как Вы думаете, покажите что там такого важного. Правильно ли я понял что ' может быть определена как любая функция, удовлетворяющая определенным свойствам? Если да, то выберем немного отличную от стандартного +1. не ужели с таким определением мы все равно получим: 2+2=4.
Да, правильно, это просто какая-то функция. Только стандартно она _не_ определяется как +1, это +1 определяется как S. И да, выбрав другую функцию, мы все равно получим 2+2=4, потому что 4 — это всего лишь сокращение s(s(s(1))), а 2 это s(1). Потом, применяя определение суммы, можно показать, что 2+2=4. Никакой стандартной S нет. Кроме того, например, не обязательно определять натуральные числа, начиная с 1, можно с 0, можно с 2. Важно понять, что символы, которые обозначают натуральные числа — это просто сокращения записи последовательных применений S.