Теорема Гёделя:
"Если формальная арифметика S непротиворечива, то в ней н е в ы в о д и м а формула, утверждающая непротиворечивость S".
Иными словами, непротиворечивость формальной арифметики не может быть доказана средствами э т о й теории.
Однако, могут существовать доказательства непротиворечивости формальной арифметики, использующие средства, невыразимые в ней.
Предполагаю, что и человек, в отличие о машины использует в первую очередь свою способность принимать
решения с учётом "неполноты" о которой говорит Гёдель. Принимает решения на основе "здравого смысла". Если бы он действовал на основе полноты то в эволюции бы не выжил.
