 With much ingenuity they try to develop a syntax which “will treat mathematical expressions as concrete objects” (ibid.)—as actual strings of physical marks—and give concrete surrogates for notions such as ‘formula’, ‘axiom’ and ‘proof’ as platonistically defined. However they do not address the issue of the application of mathematics, construed in this concrete, formalistic fashion.