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

adding flexibility to the natural deduction system מתח
.תִכנו	увеличение гибкости системы естественного вывода (ssn)