Non-deductive Logic in Mathematics