Non-Deductive Methods In Mathematics