| |||
|
|
Миша, скажите, пожалуйста, как понять это: "Формальная арифметика является полной, разрешимой и непротиворечивой в том случае, если и только если, ее формализм является строго аппроксимирующим" Источник: http://antigedel.boom.ru/fs.htm Добавить комментарий: |
|||