Strong induction

From Free net encyclopedia