The role and function of proof in mathematics · Study