Непротиворечивая теория с равенством в не более счетной сигнатуре, не имеющая конечных моделей и категоричная в несчетной мощности:

Правильный ответ:

• # Теория Г может быть:
• # Вопрос о выводимости произвольных формул языка первого порядка:
• # Если любая подструктура любой нормальной модели является ее моделью, то теория:
• # Аксиомой исчисления высказываний является:
• # Естественные интерпретации сигнатуры на носителе R: