In this paper, using the recently discovered notion of the Sspectrum, we prove the spectral theorem for a bounded or unbounded normal operator on a Clifford module (i.e., a two-sided Hilbert module over a Clifford algebra based on units that all square to be −1). Moreover, we establish the existence of a Borel functional calculus for bounded or unbounded normal operators on a Clifford module. Towards this end, we have developed many results on functional analysis, operator theory, integration theory and measure theory in a Clifford setting which may be of an independent interest. Our spectral theory is the natural spectral theory for the Dirac operator on manifolds in the non-self adjoint case. Moreover, our results provide a new notion of spectral theory and a Borel functional calculus for a class of n-tuples of commuting or non-commuting operators on a real or complex Hilbert space. Moreover, for a special class of n-tuples of operators on a Hilbert space our results provide a complementary functional calculus to the functional calculus of J. L. Taylor.