Подумав лучше, придумал такое решение. Пусть дана модель множества предложений

:

, где

- универсум, а

- сигнатура. Пусть также

- произвольное множество. Тогда моделями

будут также структуры:




где

получается добавлением в

, в качестве константы, какого-нибудь элемента из

. Тогда

, что и требуется. Но замечаю, что

не обязана быть бесконечной.