La inducción matemática es un caso especial donde se va de lo particular a lo general y, no obstante, se obtiene una "conclusión necesaria".