 There is a canonical objection against Curry’s formalist position. Mathematicians do not in fact treat all apparently consistent formal systems as being on a par. Most of them are unwilling to admit that the preference of arithmetical systems in which the arithmetical sentence expressing the consistency of Peano Arithmetic are derivable over those in which its negation is derivable, for instance, can ultimately be explained in purely pragmatical terms. Many mathematicians want to maintain that the perceived correctness (incorrectness) of certain formal systems must ultimately be explained by the fact that they correctly (incorrectly) describe certain subject matters.