例えば、二階の論理式∀S∀x(x∈S∨x∉S)は、個体の全ての集合Sと全ての個体xについて、xがSに属するか、あるいは属さないかのどちらかであるということを主張している。
例如，二阶句子∀S∀x(x∈S∨x∉S){\displaystyle\forallS\forallx{\Big(}x\inS\veex\notinS{\Big)}}声称对于所有个体的集合S和所有的个体x，要么x在S中要么不在（这是二值原理）。