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