text: Формула ϕ {\displaystyle \phi } называется общезначимой (что обозначается как ⊨ ϕ {\displaystyle \models \phi } ), если D ⊨ ϕ {\displaystyle {\mathcal {D}}\models \phi } для всех моделей D {\displaystyle {\mathcal {D}}} .