英语 ⇄ 俄语 +

probabilistic proof theory 强调
数学	теория вероятностных доказательств (gitbook.io Alex_Odeychuk)