Olá, bom dia!
Entendo sua dúvida e é uma ótima pergunta. No entanto, a necessidade de definição do tipo 'navigation' não está diretamente relacionada à inclusão do 'axios'.
O que acontece é que em algumas versões do React Native, a tipagem do 'navigation' é necessária para evitar erros de compilação. Isso ocorre porque o TypeScript, que é o superset de JavaScript usado no React Native, é um sistema de tipos estático e precisa saber o tipo de todas as variáveis para compilar o código corretamente.
No curso anterior, pode ser que a versão do React Native usada não exigisse essa tipagem ou talvez o professor tenha configurado o TypeScript para ser menos rigoroso com a tipagem.
No seu caso, como o erro está aparecendo, é uma boa prática definir o tipo 'navigation'. Isso ajuda não só a evitar erros de compilação, mas também a tornar seu código mais previsível e fácil de entender.
Espero ter ajudado e bons estudos!