Формула общезначима в поле, если она принимает значение T при каждом приписывании значений предикатным символам и свободным переменным в ней. Формула общезначима, если она общезначима во всяком поле. Тот факт, что формула А общезначима, мы будем выражать так:
|=A