Natürliche Zahlen/Nachfolger/Addition und disjunkte Vereinigung/Fakt/Beweis/Aufgabe