Man zeigt diesen Satz zunächst mittels vollständiger Induktion für endliche Mengen und führt den allgemeinen Fall mittels des Endlichkeitssatzes auf den Fall endlicher Mengen zurück, wie im unten angegebenen Lehrbuch von Philipp Rothmaler ausgeführt wird. == Einzelnachweise == ...