Ini menyatakan, untuk suatu sifat P {\displaystyle P} , bahawa untuk setiap himpunan x {\displaystyle x} , kebenaran P ( x ) {\displaystyle P(x)} mengikuti dari kebenaran P {\displaystyle P} untuk semua unsur x {\displaystyle x} , maka sifat P {\displaystyle P} ini berlaku untuk semua himpunan. Dalam simbol:

∀ x . ( ( ∀ y ∈ x . P ( y ) ) → P ( x ) )   →   ∀ z P ( z ) {\displaystyle \forall x.{\Big (}\left(\forall y\in x.\,P(y)\right)\rightarrow P(x){\Big )}\ \rightarrow \ \forall z\,P(z)}

Perhatikan baahwa untuk "kes di bawah" dimana x {\displaystyle x} melambangkan himpunan kosong, ∀ y ∈ x {\displaystyle \forall y\in x} . P ( y ) {\displaystyle P(y)} ialah kebenaran hampa.