形式化量子电动力学在数学上是否自洽？

量子电动力学的形式结构由多种要素构成。这些包括使系统随时间前向演化的薛定谔方程、被假定为具有零自由场能量的真空态，以及规范不变性原理。本文将考察这些要素的数学一致性。我们将表明，作为该理论形式结构基础的这些要素在数学上并不自洽。