Toward a rigorous quantum field theory