Wenn wir sagen „φ ist eine Einheitsfunktion und (x).φx” so heißt das soviel wie: „es giebt nur ein Ding”! (wir sind hiermit scheinbar um den Satz „(∃x) . (y) . y = x” herumgekommen)