 It is possible to formalise PRA in such a way that it has no logical connectives at all—a sentence of PRA is just an equation between two terms.In this setting a term is a primitive recursive function of zero or more variables.In 1941 Haskell Curry gave the first such system.