A matematikában a modális logikai operátorok olyanok, mint a természetes nyelvekben a módosítószavak?

A kérdés általánosabban: milyen analógiák vannak a nyelv és a matematika között?

Ha jól értem, a matematikában nincsenek operatív üzenetek/kérések, mint a természetes nyelvekben (pl. ezt vidd oda), csupán összefüggések leírására szolgál. Általában egy képlet egy relációt mond ki két dolog között (pl. egyenlőtlenség, valami része valaminek). A modális operátorok vagy a valószínűség tud ezeken árnyalni. Mégis operatívnak tűnik egy-két művelet, mint az x:=y (legyen egyenlő). Mit gondoltok?