Der Begriff beschreibt verschiedene Ansätze, die Struktur der Quantenfeldtheorie mit mathematischen Mitteln zu beschreiben. Dabei wird meist versucht, einen möglichst kleinen Satz an Axiomen aufzustellen, aus denen die Eigenschaften der Quantenfeldtheorien folgen.