U matematici se obično podrazumeva na koji skup objekata se formula odnosi, tj. koje objekte označavaju koje konstante i šta su domeni promenljivih (skupovi vrednosti koje promenljiva može da ima).
∀x. 6|x ⇒ ¬paran(x + 1)
∀x. ∃y .y + 1 = x
∀x y . x < y ⇒ ∃z. (x < z ∧ z < y )
Prva formula podrazumeva da je 6 broj, + sabiranje, | deljivost na skupu prirodnih brojeva itd.
Druga formula je tačna ako je domen skup celiih brojeva, netačna ako su prirodni brojevi.
Treća formula je tačna ako je domen skup realnih, netačna ako su celi brojevi.