英语 ⇄ 俄语 +

predicate calculus with generalization 强调
数学	исчисление предикатов с обобщением