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