Standart Modelin riyazi formalizmi