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

formally provable theorem מתח
.מָתֵי, .הִגָי	формально доказуемая теорема