La récurrence forte consiste à supposer que la proposition à démontrer est vraie pour tous les rangs inférieurs à un certain rang, afin de démontrer que la proposition est vraie pour le rang suivant.