I aritmetikken brukes derimot også induktive bevis, nemlig ved å konstruere en «bevisstrategi» (). For eksempel kan et utsagn bevises å ha gyldighet for alle heltall (som er en uendelig mengde) ved å bevise (), dvs. bevise deduktivt at er sant for et vilkårlig valgt tall , å demonstrere gyldigheten av , dvs. at også gjelder for nabotallene til et tall det er kjent å gjelde for.