logIcal one mathematics will reduce to logic only if, under a iteral reading and wI th out the gratuitous annexation of hypotheses, every mathematical truth contains (or is an a reviatlOn of one which contains)