|
|
От
|
serge
|
|
|
К
|
Alex~1
|
|
|
Дата
|
26.01.2007 03:05:00
|
|
|
Рубрики
|
В стране и мире;
|
|
Re: Добавление
Ну ежели "шире математики", то включает и арифметику. А значит и подпадает под теорему Геделя. (Здесь полагается смайлик)
>Можно, конечно, говорить о том, что условия теоремы Геделя о неполноте неприменимы к объектам предлагаемой "формальной системы". Но это, извиняюсь, надо строго показать. Маловато простого утверждения, что предлагаемая система "шире математики" (!?).