Ist A zum Beispiel eine echte Klasse, dann ist A=A kein Ausdruck der Prädikatenlogik der 1. Stufe und kann daher auch keinen Wahrheitsgehalt (in der Prädikatenlogik 1. Stufe) besitzen. Die Aussage A=A ist weder wahr noch falsch sondern einfach nicht definiert.