| RUS ENG |
| Полная версия |
|
|
|
| ВИДЕОТЕКА |
|
Международная школа-семинар "Синтаксис и семантика логических систем"
|
|||
|
|
|||
|
Об аксиомах бесконечности и полноте теорий второго порядка Д. М. Смелянский Московский центр непрерывного математического образования |
|||
|
Аннотация: Доклад посвящен определению понятия аксиом бесконечности для формально-логических систем и постановке вопроса о существовании полных теорий второго порядка с аксиомами бесконечности, в дополнение к чему показано, что основные примеры полных эффективных теорий первого порядка не являются таковыми при расширении их логикой второго порядка. |
|||