11 компактность (теорема Мальцева)

Теорема Мальцева о компактности (свойства непротиворечивости) Применение для обоснования нестандартных моделей арифметики
Back to Top