| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Спецкурс "Доказуемость и формальная арифметика"
|
|||
|
|
|||
|
Лекция 1. Язык и аксиомы арифметики Пеано Л. Д. Беклемишев |
|||
|
Аннотация: Язык формальной арифметики. Аксиомы арифметики Пеано. Расширения теорий первого порядка с помощью определений. Отношение порядка в арифметике. Сильная и слабые аксиомы порядка. Выводимость слабых аксиом порядка из сильной аксиомы. |
|||
