Die Gleichheitsaxiome kann man ja offensichtlich beweisen. Also ist es eine kanonische Gleichheitslogik per Definition. Außerdem ist die Extensionaltität trivial beweisbar. Also gibt es keine anderen Modelle. Wie sollte das auch möglich sein?-- Wilfried Neumaier 22:40, 15. Jan. 2008 (CET)