As a mathematician, I don't know if I agree completely with this statement. Logic in practice is essentially its own branch of mathematics with tools that are s

As a mathematician, I don't know if I agree completely with this statement. Logic in practice is essentially its own branch of mathematics with tools that are sometimes helpful in other branches, but it has its own internal motivations for research that are irrelevant to say an analyst or a number theorist. In my own opinion, it's as much a framework for the doing of mathematics as is the English language, and not too much more.