Cuando se resuelve una ecuación como x^2 = x
para x, se suele especificar implícitamente un campo en el que se encuentra la solución. Normalmente el campo implícito son los números reales, pero esta elección es arbitraria y depende del contexto. Puede elegir todos los números racionales Y la raíz cuadrada de dos (y todos sus múltiplos, y su inverso multiplicativo), por ejemplo.
El infinito no suele estar en este campo implícito. Como tal, su solución candidata, 2^2^2^2 ..., que no converge en los reales, o los números complejos, no es una solución válida.
Si el infinito está en el campo (podría, por ejemplo, estar en el plano proyectivo), hay que establecer reglas para tratarlo. Como has demostrado, estas reglas tendrían que mantener que el infinito es una solución de x^2 - x = 0.