Es geht um die Vollständige Induktion über das fünfte Peano Axiom.
Ich möchte z.B die Bernoulli Ungleichung beweisen.
Wäre das folgende Vorgehen korrekt?
S : = { n ∈ ℕ | (1+x)^n ≥ 1 + n*x , x ≥ -1}
IA : Zeige n = 0 ∈ S
IB : ∃ n ∈ ℕ : n ∈ S
IS : Zeige (n+1) ∈ S