Please can you help me understand the Spin-Statistics Theorem (SST)? How can I prove it from a QFT point of view? How rigorous one can get? Pauli's proof is in the case of non-interacting fields, how it will be in the presence of interacting fields? The origins of the minus sign, when swapping the wave-function, it implies the CPT theorem in play (spinors, anti-articles)?
The classic place to start would be the book "PCT, Spin & Statistics, and All That", by R.F.Streater and A.S.Wightman. The spin statistics theorem can be proved as rigorously as you likely can want in the context of the Wightman axioms. The difficulty with this statement relative to your question is that we cannot prove that interacting fields satisfy the Wightman axioms.