proper business of pure mathematicians is to derive theorems from postulated assumptions, and that it is not their concern whether the axioms assumed are actually true.
This is the definition of true mathematician. In this sense a mathematician is a logician.
Abid Uzair liked this
