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

completeness in propositional logic מתח
.תִכנו	полнота в логике высказываний (ssn)