Англійська ⇄ Іспанська Італійська Грецька Данська Китайська Нідерландська Німецька Португальська Французька Фінська Шведська +

second-order predicate calculus
косм.	二阶谓词演算