seien A und B induktive Mengen,
und sei x aus A ∪ B. Dann musst du zeigen x ' aus A ∪ B
Ist nicht so wild:
x aus A ∪ B folgt x aus A oder x aus B
im ersten Fall ist x ' aus A, weil A induktiv ist
im zweiten Fall ist x ' aus B, weil B induktiv ist
jedenfalls ist also x ' aus A oder x ' aus B und damit
x ' aus A ∪ B
q.e.d.