Значение слова "COMPACTNESS THEOREM" найдено в 2 источниках

COMPACTNESS THEOREM

compactness theorem: translation

Theorem stating that any collection of well-formed formulae of a language has a model, if every finite subset of the collection has a model.

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