In summary, mathematical truth and proof rest on deduction and logic. But logic irself lacks certain foundations. It too rests on irreducible assumptions. Thus the dependence on logical deduction increases the set of assumptions on which mathematical truth rests, and these cannot be neutralized by the ‘if-thenist’ strategy.