Eine =Definition, aus der die =Axiome nicht folgen, wäre witzlos. Die Gleichheitsaxiome folgen aus der Äquivalenz im Definiens; sie eine Operation mit Äquivalenz-Eigenschaften, was leicht zu zeigen ist (aussagenlogischer Automat).-- Wilfried Neumaier 21:57, 18. Jan. 2008 (CET)