  In this paper an axiomatic formulation of the Schwinger Model in curved
spacetime is considered. The mathematical approach utilized is that specified
by Hollands and Wald in [1]. We will attempt to present the theory in this
context, exhibiting the operator product expansions (OPEs) that define the
theory in a follow-on paper.
