If in particular the concepts of mathematics were all reducible to the clear terms of logic, then all the truths of mathemat ics would go over into truths of logic; and surely the truths of logic are all obvious or at least potentially obvious,.e., derivable from bvious truths by individually obvious steps.