( (Primer) Principio de Inducción (PIM)) Sea formula_18 un enunciado que tiene sentido para cada número natural.