proof by induction: dowód przez indukcję > Dodaj do ulubionych Jeden ze sposobów dowodzenia twierdzeń. W informatyce indukcję często wykorzystuje się do dowodzenia poprawności algorytmów.
