  We generalize Moore's nonstandard proof of the Spectral theorem for bounded
self-adjoint operators to the case of unbounded operators. The key step is to
use a definition of the nonstandard hull of an internally bounded self-adjoint
operator due to Raab.
