Für die vollständige Ind. (n=1 ist wohl klar.) kannst du beim Ind.schritt
(Gleichung von rechts nach links lesen.)
das Distributivgesetz für die Mengendifferenz anwenden und hast
A1 \ [(A1 \A2) ∪ (A1 \A3)∪...∪(A1 \An)∪(A1 \An+1)]
= A1 \ [(A1 \A2) ∪ (A1 \A3)∪...∪(A1 \An)] ∩ [ A1 \ (A1 \An+1)]
Dann beachte A1 \ (A1 \An+1) = An+1
und wende die Ind.annahme an:
A1 ∩ A2 ∩...∩ An ∩ An+1 q.e.d.