@ 192.0.2.255 : Eine Menge wird nicht dadurch abzählbar, dass sie sich wohlordnen lässt: Das Verfahren der Minimum-Entfernung, das du ansprichst, "entnimmt" dann eben einfach überabzählbar viele Elemente. Btw.: Dass damit dann die gesamte Menge ausgeschöpft wird, lässt sich wiederum nur über transfinite Induktion zeigen, die selbst eine existierende Wohlordnung als Vorausssetzung benötigt.