The Dirac Sea for the Non-Separable Hilbert Spaces

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.