Der Satz über die Wohldefiniertheit der Anzahl.