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

primitive-recursive predicate
.בינה	primitiv-rekursives Prädikat