The first of these forms is expressible using ordinary quantifiers, but the latter two cannot be expressed in ordinary first-order logic.
Перша з цих форм виражається за допомогою звичайних кванторів, але останні два не можуть бути виражені у звичайній логіці першого порядку.