The complex numbers and complex exponentiation: why infinitary logic is necessary!