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

induction by enumeration מתח
.מָתֵי	энумеративная индукция