If we used currying to extend monadic predicate calculus to polyadic predicates, would validity of a formula in this predicate calculus be decidable? Why or why not?
EDIT: I am led to believe that that calculus would be undecidable. If that is right, why would currying monadic predicates not suffice to maintain decidability?