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

intuitionistically provable מתח
.מָתֵי	интуиционистски доказуемый