Теория моделей для логики высказываний

[molokowoz]

Помогите привести пример счётного множества моделей, не являющегося множеством ВСЕХ моделей ни для какого множества высказываний.
множество пропозициональных переменных счётно, модель - некоторое подмножество этого множества.
У меня получилось:
${p_0}$
${p_0, p_1}$
${p_0,p_1,p_2}$
и так далее.
хотелось бы проверить правильность