5˙32
Sind die Werte von α sämtliche Werte einer Funktion φ(x) für alle Werte von x so bedeutet „N(ᾱ)” ~(∃x) ∙ φ(x).