Estoy tratando de encontrar un defecto en la siguiente prueba, pero no estoy seguro de si estoy en lo correcto o no:
Identificar la falla en la prueba de que $2n = 0$ todos los $n \ge 0$.
Caso Base: Si $n=0$ $2\cdot n = 2\cdot 0 = 0$ Inductivo paso: Supongamos $n \gt 0$ $2m=0$ para todos los enteros $m$ donde $0 \le m \lt n$. Entonces tenemos
$2n = 2(a + b)$ para algunos enteros a y b, donde a $0 \le a, b \lt n$
$= 2a + 2b$
$= 0 + 0$ $= 0$
La parte de la prueba que parece incorrecta, para mí, es el hecho de que $b \lt n$, pero la prueba dice $b=0$. Para que b sea menor que n, debe ser menor que 0 de acuerdo a la inicial teorema.
Es este el único defecto en la prueba?