Wightman Axioms

Also known as Gårding–Wightman axioms.

Wightman Axioms for a Hermitian Scalar Field

TODO