Theorems in the foundations of mathematics

Вики

Теорема компактности

Теорема о компактности Теорема компактности утверждает, что любая теория с конечными моделями имеет модели сколь угодно большой мощности.  Применение теоремы