Wightman axioms
In mathematical physics, the Wightman axioms, also called the Gårding–Wightman axioms, named after Arthur Wightman, are an attempt at a mathematically rigorous formulation of quantum field theory. Arthur Wightman formulated the axioms in the early 1950s, but they were first published only in 1964 with Lars Gårding after Haag–Ruelle scattering theory by Rudolf Haag and David Ruelle affirmed their significance.