אנגלית ⇄ רוסית +

proof complexity מתח
.טכנול	сложность доказательств (в различных формальных системах Alex_Odeychuk)