[belviewreview]

Mathematicians can do mathematics without a knowledge of foundations because the human brain and organism are highly organized, but in a different manner than a formal conceptual system. That human thinking and understanding is, on the whole, not a matter of logically manipulating formalized ideas is generally accepted in philosophy today, as in the later Wittgenstein.