Ein Überdeckungssatz für endliche Mengen nebst einigen Bemerkungen über die Definitionen der Endlichkeit. (Q2595503)

Im Anschluß an die vorstehend besprochene Arbeit formuliert Verf. einen Überdeckungssatz für endliche Mengen und beweist ihn mittels eines Induktionsverfahrens. Daraus leitet er eine gewisse notwendige und hinreichende Bedingung dafür her, daß eine Menge endlich ist. Diese Bedingung kann dann als Definition der endlichen Menge genommen werden. Allgemeiner bespricht Verf. eine Reihe von Definitionen der Endlichkeit, dabei auch das Problem \textit{Fraenkel}s, Definitionen anzugeben, deren Äquivalenz mit dem Auswahlpostulat gleichwertig ist. Er bemerkt, daß dies Problem sehr leicht und auf viele Weisen lösbar ist. Ein Beispiel einer Lösung wird angegeben.