Beispielsweise will ich das Kommutativgesetz für die Addition für die natürlichen Zahlen zeigen, mithilfe der Beweisführung der vollständigen Induktion.
Nun beweise ich ja nach einer Variable und zeige dies für den Nachfolger dieser Variable.
