The prevalence of Hilbert's approach indicates that mathematical practice requires symbolic represen...