When reading the definition of the Haag-Lopuszanski-Sohnius theorem, it mentions a 'consistent 4-dimensional quantum field theory':
the Haag–Lopuszanski–Sohnius theorem shows that the possible symmetries of a consistent 4-dimensional quantum field theory do not only consist of internal symmetries and Poincaré symmetry, but can also include supersymmetry as a nontrivial extension of the Poincaré algebra.
What is the exact mathematical definition of consistent quantum field theory in this context?