Определение натуральных чисел

[Mysterious Light]

{0} в сообщении #900581 писал(а):

PS Может тему в раздел мат. логики перенести?

Захотят — перенесут.

loshka в сообщении #900694 писал(а):

аксиоматики Пеано людям мало?

Насколько я знаю, аксиоматику Пеано не всегда возможно сформулировать внутри строящейся формальной системы. Усиляя последнее суждение {0}, аксиоматика Пеано как раз и утверждает, что система обладает хотя бы какой-нибудь рекурсией.

ИМХО, формальная система не имеет право задаваться вопросом, откуда взялись те инструменты, которыми она располагает на этапе её формирования. В частности, если во время построения теории используется рекурсия, то сама система не может установить этот факт, если только при помощи рекурсии не был построен какой-то объект или аксиома, выражающие рекурсию. Иначе можно задаться более фундаментальным вопросом: что такое подстановка подстроки вместо символа в другой строке?

[Deggial]

Пост MasterMind переехал в Карантин