مدل استاندارد (فرمول‌بندی ریاضی)