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