nur genau ein 
Einselement existiert, das für alle 
natürlichen Zahlen 
die Gleichung: 
erfüllt, könnte man das mit Hilfe der logischen Zeichen folgendermaßen ausdrücken: 
. Man beachte die Kürze dieser kompakten logischen Schreibweise.Kurzschrift:
Wenn man ausdrücken will, dass in der Menge der natürlichen Zahlen nur genau ein Einselement existiert, das für alle natürlichen Zahlen die Gleichung: erfüllt, könnte man das mit Hilfe der logischen Zeichen folgendermaßen ausdrücken: . Man beachte die Kürze dieser kompakten logischen Schreibweise.