Uma empresa de governança em TI implementou uma rotina de verificação de segurança em um sistema que depende de uma cadeia de módulos numerados de 1 a 23. O analista de sistema res

assume o funcionamento do módulo de maior número e demonstra, por implicação reversa, que os anteriores também funcionam, até alcançar o primeiro.

estabelece que, se um módulo inicial funciona e todos os sucessores também funcionam, então todos os módulos seguintes são válidos.

é uma prova com características indutivas matematicamente, mostrando a unicidade de cada teste de forma independente.

parte do princípio de que se um módulo n qualquer funciona, conclui-se diretamente que todos os módulos N > n também funcionam.

por conta da indução matemática no conjunto dos números naturais, torna essa propriedade válida apenas para conjuntos infinitos.