  We give a rigorous construction of the Dirac Sea for the fermionic
quantization in the non-separable Hilbert spaces. These CAR-representations
depend on the Axiom of Choice, hence are not unique, nevertheless they are
unitarily equivalent to the classic Fock representation.
