habe ich gelöscht, aus folgenden Gründen: Erstens: In einer Aufzählung verschiedener möglicher Varianten, den Unendlichkeitsbegriff zu definieren, wird diese Variante üblicherweise mit "Dedekind-Unendlichkeit" bezeichnet. Die Variante "gleichmächtig {0,...,n-1}" nennt man dann einfach "endlich". (Der Grund liegt darin, dass letztere Definition einfach viel praktischer ist; ohne Auswahlaxiom kann man ja nicht einmal zeigen, dass das Bild (unter einer Funktion) jeder Dedekind-endlichen Menge wieder Dedekind-endlich ist. Nun wäre es zwar möglich, aber doch seltsam und unintuitiv, wenn man für einfachste Aussagen über endlich Mengen immer wieder das Auswahlaxiom bemühen müsste.) Zweitens: der letzte Satz im gelöschten Absatz war zwar formal richtig, aber höchst irreführend. Die beiden genannten Varianten sind auch ohne Auswahlaxiom zu einander äquivalent. Außerdem habe ich ein paar Bemerkungen über Dedekind-unendliche Mengen hinzugefügt, und potentiell/aktual etwas erweitert. (Ich habe die alte Rechtschreibung verwendet, da dies bei Fachausdrücken zulässig ist). Wuzel 02:52, 31. Jan 2005 (CET)