Если существует интерпретация j такая, что j(F1)=j(F2)=…=j(Fk)=1, то множество формул {F1,F2,…,Fk} называется …