Foundations of stochastic differential equations in infinite dimensional spaces