se nn ricordo male ( ma è probabile che sia così) il principio di induzione lo dimostri sostituiendo (n+1) e dimostrando che ciò si eguaglia al caso base, ossia
f(n)=f(n+1)
la dimo per assurdo non mi pare ci azzecchi
edit: rileggendo i sono accorto che forse tu vuoi la dimo della validità della procedura stessa...
nel caso non so che dirti, dì che è un assioma e via
