 Like the term formalist, Curry takes mathematics, properly reconstructed after philosophical reflection, to have an essentially syntactic subject matter, namely formal systems. Unlike Frege’s adversaries, though, Curry, writing after the development of the discipline of metamathematics, is able to give a far more rigorous (albeit in his case somewhat eccentric) account of what a formal system is.