Hilbert’s Axiomatics as “Symbolic Form”?