Define the zeta function of a variety over a number field by taking the product over all prime ideals of the zeta functions of this variety reduced modulo the primes. Hasse conjectured that this product has a meromorphic continuation over the whole plane and a functional equation.