mathematical foundation of quantum field theory