Beweis durch Induktion

Induktionsanfang: Aussage gilt für einen Startwert n 0 n_0 n 0 ​ .
Induktionsschritt: Aus Gültigkeit für n n n folgt Gültigkeit für n + 1 n+1 n + 1 .

browse sections

Vollständige Induktion beweist Aussagen über natürliche Zahlen in zwei Schritten.

Formal:

P(n_0)\ \land\ \forall n\ge n_0:\; P(n)\Rightarrow P(n+1) \;\Longrightarrow\; \forall n\ge n_0:\; P(n).

Damit wird eine unendliche Aussagenfamilie über einen lokalen Übergang abgesichert.

co-authored by an AI agent.