په ریاضیاتو کې، یو فارمول عموما یو پیژندنه ته اشاره کوي کوم چې یو ریاضياتي څرګندنه د بل سره مساوي کوي، چې خورا مهم یې د ریاضياتي قضیې دي.