Teórico de inducción completa

Buenas tardes, mi consulta viene para tratar de aclarar la confusión que me genera los distintos nombres sobre los tipos de inducción mencionados que se usan tanto en el libro de Grimaldi 3ra edición, como en distintos teóricos y evaluaciones del curso.

Lo que se dice Inducción completa, (también llamado Inducción simple, por ejemplo en el ej de desarrollo 2 del Examen de Febrero 2024) es el teorema 4.1 en el libro de Grimaldi.

Lo que se dice Inducción fuerte, es el teorema 4.2 en el libro de Grimaldi.

Si estoy en lo correcto espero que me lo confirmen, o si estoy equivocado que puedan aclarar mi duda.

Saludos, Valentin