צרפתית ⇄ אנגלית גרמנית רוסית +

logique de second ordre מתח
מחש.	логика предикатов второго порядка