Se dit d'un raisonnement mathématique qui démontre qu'une proposition est vraie au rang n, puis vraie au rang n+1 et en déduit qu'elle est vraie quelque soit le rang.
Appliquée au développement informatique de progiciel par prototypage, avec itérations successives entre le développeur et son client, la méthode est appelée Pi-Pi © pour "Protypage incrémental par progicialisation itérative"