Hilbert's distinction between contentual and formal reasoning permits intended-model arguments as pr...