Presentation of Wightman's axiomatic framework to QFT as well as to the necessary mathematical objects to their understanding (Hilbert analysis, distributions, group representations,...).
Proofs of the main mathematical consequences (CPT, spin-statistics, Reeh-Schlieder, Haag no-go).