"bevisprosedyre" er et 14-bokstavers substantiv som brukes som synonym for "induksjonsbevisa". induksjonsbevisa betyr: Prosedyre for å bevise en påstand, som induksjon.