To see in mathematics nothing but a collection of all possible, value-neutral, formal systems is no better than to view the art of sculpture as a collection of all possible articles made of stone, or defining man, according to the old anecdote, as a two-legged creature without feathers.