אנגלית ⇄ איטלקית גרמנית דנית הולנדית יוונית סינית ספרדית פורטוגלית פינית צרפתית שוודית +

second-order predicate calculus
.מֶרחָ	二阶谓词演算