Litmus
Verified User
gay.Formalism
David Hilbert agreed with the intuitionists that there is a sense in which the natural numbers are basic in mathematics. But unlike the intuitionists, Hilbert did not take the natural numbers to be mental constructions. Instead, he argued that the natural numbers can be taken to be symbols. Symbols are strictly speaking abstract objects.