\(P(k)\rightarrow P(k+1)\)

Weak Induction

Strong Induction

Forward-Backward Induction

Double Induction

Infinite Descent

Structural Induction