Direkter Beweis – Implikationskette
Indirekter Beweis – mannt nimmt an dass A falsch ist, und zeigt dass sich daraus etwas bekannt falsches ableitet – da ¬A falsch ist, muss also A wahr sein
Beweis durch Kontraposition – negieren und vertauschen der Aussagen
Vollständige Induktion – gleichzeitiger Beweis von unendlich vielen Aussagen gleichzeitig
Induktionsverankerung/Induktionsanfang: Nachweis dass A(1) gilt
Induktionsschritt/Induktionsschluss: Nachweis, dass A(n) ⇒A(n+1) gilt