Mathematicians care no more for logic than logicians for mathematics.