در ریاضیات، یک فورمول معمولاً به شناسایی اشاره دارد که یک عبارت ریاضی را با گزاره ای دیگر، مهمتر از همه با قضایای ریاضی برابر میکنند.