Induktion

Wenn

  • Induktionsanfang
  • Induktionsschritt

gelten, dann gilt die Aussage für jede natürliche Zahl.

Course-Of-Values Induction