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

unprovable formula מתח
.מָתֵי	недоказуемая формула