The basic mathematical framework for super Hilbert spaces over a Grassmann
algebra with a Grassmann number-valued inner product is formulated. Super H
ilbert spaces over infinitely generated Grassmann algebras arise in the fun
ctional Schrodinger representation of spinor quantum field theory in a natu
ral way.