Induktion Låt Pn vara ett påstående som beror på n∈N Antag: P1 är sant Pk⇒Pk+1 (induktionsantagandet) Då innebär induktionsaxiomet att Pn är sant för alla n∈N