Fazit: Die Aussage A=A kann niemals falsch sein. Aber es kann Situationen geben, in denen A=A nicht definiert ist. Um die Existenz mindestens einer Menge abzuleiten, muss du aber mindestens ein A finden, für das A=A definiert ist. Und das ist genau dann der Fall, wenn A einen Repräsentanten im Modell hat. -- Eulenspiegel1 13:57, 7. Feb. 2015 (CET)