While functional integrals have no rigorous definition (or even a nonrigorous computational one in most cases), we can "define" a Gaussian functional integral in analogy to the finite-dimensional case.