On a strict formalist reading (cf. Curry, Detlefsen's 'Hilbert's Program'), there is no well-defined...