Nein, das ist in der Prädikatenlogik 1. Stufe mit Gleichheit nicht so (nur Äquivalenzrelation), da hier festgelegt ist, dass das Zeichen "=" in Modellen immer als Identität zu interpretieren ist. Gruß, Wasseralm 20:20, 16. Jan. 2008 (CET)