Einführung in die Identitätsrelation der Prädikatenlogik erster Stufe mit einem konkreten Beispiel zur Verdeutlichung der Notwendigkeit von Identitätsregeln. Der Text erläutert die Formalisierung von Eigennamen und zeigt auf, wie die bisherigen Mittel der Prädikatenlogik erweitert werden müssen.
