Rigorous Methods in Particle Physics