Список установленных личностей и отношений
Список установленных идентификаторов и связей Статья представляет собой список математических тождеств и формул, связанных с операциями над множествами. Тождества и […]
Список установленных идентификаторов и связей Статья представляет собой список математических тождеств и формул, связанных с операциями над множествами. Тождества и […]
Теорема о компактности Теорема компактности утверждает, что любая теория с конечными моделями имеет модели сколь угодно большой мощности. Применение теоремы