| Subject | Russian | English |
| math. | арифметически доказуемая формула | arithmetically provable formula |
| math. | арифметически доказуемый | arithmetically provable |
| math. | геометрически доказуемая формула | geometrically provable formula |
| math. | геометрически доказуемый | geometrically provable |
| sec.sys. | доказуемая идентификация | verifiable identification |
| sec.sys. | доказуемая идентификация | evidential identification |
| philos. | доказуемая истина | assertible truth (Alex_Odeychuk) |
| sec.sys. | доказуемая криптостойкость | provable cryptographic strength |
| math. | доказуемая непротиворечивость | demonstrable consistency |
| math. | доказуемая определимость | provable definability |
| math. | доказуемая секвенция | provable sequent |
| math. | доказуемая формула | provable formula |
| data.prot. | доказуемо безопасная система | provably secure system |
| progr. | доказуемо корректная программа | provably correct program (программа, написанная таким образом, что можно привлечь математический или логический аппарат для доказательства того, что она удовлетворяет предъявленным требованиям ssn) |
| progr. | доказуемо корректные программы | provably correct programs (ssn) |
| progr. | доказуемо неразрешимый | provably unsolvable (о множестве задач, для которых не существует никаких алгоритмов решения ssn) |
| data.prot. | доказуемо простое число | provably prime number |
| progr. | доказуемо трудный | provably difficult (о множестве задач, применительно к которым можно доказать, что для них не существует алгоритма с полиномиальной оценкой времени решения, а есть только алгоритмы с экспоненциальной оценкой временных затрат ssn) |
| math. | доказуемое высказывание | provable statement |
| el. | доказуемое высказывание | provable sentence |
| math. | доказуемое высказывание | proofable statement |
| patents. | доказуемое действие | provable act |
| gen. | доказуемое положение | demonstrable proposition |
| math. | доказуемое предложение | provable sentence |
| math., logic | доказуемое равенство | provable equation |
| data.prot. | доказуемое решение | provable solution |
| el. | доказуемое утверждение | provable statement |
| adv. | доказуемое утверждение | provable claim |
| patents. | доказуемые действия | provable acts |
| econ. | доказуемые долги | provable debts |
| law | доказуемый долг | provable debt (Alexander Matytsin) |
| math. | доказуемый закон | assertible law |
| law | доказуемый злой умысел | evincible malice |
| law | доказуемый иск | provable claim (Alexander Matytsin) |
| gen. | доказуемый примером | exemplifiable |
| math. | интуиционистски доказуемый | intuitionistically provable |
| gen. | как бы легко доказуемым это ни было | concretely ascertainable as it may be (MichaelBurov) |
| data.prot. | криптосистема с доказуемой криптостойкостью | provable secure system |
| sec.sys. | криптосистема с доказуемой криптостойкостью | provable secure cryptosystem |
| Makarov. | легко доказуемый | readily demonstrative |
| gen. | лёгко доказуемая теория | theory susceptible of proof |
| nucl.phys., OHS | минимально доказуемая активность | minimum detectable activity |
| nucl.phys., OHS | минимально доказуемая концентрация активности | minimum detectable activity concentration |
| data.prot. | простое число с доказуемой принадлежностью к классу простых чисел | provable prime (с доказуемой простотой) |
| math., logic | формально доказуемая теорема | formally provable theorem |
| math. | формально доказуемый | formally provable |
| data.prot. | шифр с доказуемой криптостойкостью | provable secure cipher |
| sec.sys. | шифр с доказуемой криптостойкостью | provable-secure cipher |
