 There are two main challenges in this discipline.First, one must propose a set of axioms which describe the general properties of any mathematical object that deserves to be called a "quantum field theory".Then, one gives rigorous mathematical constructions of examples satisfying these axioms.