This is an account on the theory of formal power series developed entirely without any analytic machinery. Combining ideas from various authors we are able to prove Newton’s binomial theorem, Jacobi’s triple product, the ...