| Subject | Russian | English |
| data.prot. | доказуемо безопасная система | provably secure system |
| progr. | доказуемо корректная программа | provably correct program (программа, написанная таким образом, что можно привлечь математический или логический аппарат для доказательства того, что она удовлетворяет предъявленным требованиям  theregister.com ssn) |
| progr. | доказуемо неразрешимый | provably unsolvable (о множестве задач, для которых не существует никаких алгоритмов решения ssn) |
| data.prot. | доказуемо простое число | provably prime number |
| progr. | доказуемо трудный | provably difficult (о множестве задач, применительно к которым можно доказать, что для них не существует алгоритма с полиномиальной оценкой времени решения, а есть только алгоритмы с экспоненциальной оценкой временных затрат ssn) |