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

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

• # Для сигнатуры аксиомой равенства будет:
• # Теория П1 аксиоматизируема, если она:
• # Контрпример к секвенции - это набор значений переменных, для которых все формулы:
• # Предикат "z=x+y", где "+" - конкатенация двоичных слов:
• # Предикат, выразимый в данной интерпретации: