"logisk bevis" er et 12-bokstavers substantiv som brukes som synonym for "induksjonsbeviset". induksjonsbeviset betyr: Bevis basert på logikk og induksjon.