Множество Г с моделью называется:

Если любая подструктура любой нормальной модели является ее моделью, то теория:

Если любая подструктура любой нормальной модели является ее моделью, то теория:

Арифметическое множество - это множество:

Ультрапроизведение семейства моделей некоторой теории моделью той же теории:

Если М - непустое множество, то множество всех <m1, m2,…, mk> - это:

Множество теорем теории равенств:

Множество натуральных чисел, не являющееся арифметическим:

Любое совместное множество замкнутых формул:

Всякое непротиворечивое множество замкнутых формул:

Если бесконечное множество противоречиво, то некоторое его конечное подмножество будет: