Ich glaube, das wird heute nix mehr. \(M\) ist eine Menge von natuerlichen Zahlen, selbst aber keine natuerliche Zahl. \(M\) hat keine Nachfolger. Die richtige Antwort waere \(M=\mathbb{N}\) gewesen.
Tja, also: Diese simple Aussage nennst sich Induktionsprinzip. Die natuerlichen Zahlen sind eindeutig durch die Eigenschaft definiert, dass sie einen Anfang (1) haben, und dass es zu jeder Zahl (n) eine naechste (n+1) gibt. Jede Menge natuerlicher Zahlen, die auch diese Eigenschaft hat, ist schon identisch zur Menge aller natuerlichen Zahlen. Um zu zeigen, dass ein Teilmenge \(M\) von \(\mathbb{N}\) schon ganz \(\mathbb{N}\) ist, muss man also bloss zeigen, dass \(M\) den Bedingungen (i) und (ii) des Induktionsprinzips genuegt.
Eigentlich wollte ich jetzt aus dem Induktionsprinzip das Beweisverfahren der vollstaendigen Induktion ableiten, aber nachdem es bisher so zaeh ging, wird es wohl am besten sein, hier für heute aufzhoeren.