Numerical methods like Euler or Runge-Kutta, consisting in approximating a solution of an ODE with a the solution of a suitable discrete difference equation, in particular give  proofs of existence.