| Subject | English | Russian |
| math. | mathematical statement | математическое предложение |
| comp., MS | mathematical statement | математическое утверждение (A combination of symbols that form a logical sentence that is true or false under a given interpretation) |
| math. | mathematical statement | математическая формулировка |
| AI. | statement in mathematical logic | высказывание на языке логики высказываний (Alex_Odeychuk) |
| AI. | statement in mathematical logic | высказывание в символической форме (Alex_Odeychuk) |