From a fallibilist perspective, mathematics gradually develops with problems, conjectures, proofs, and refutations. To attain such authentic mathematical learning, it is important to intentionally treat refutation in mathematics classrooms, such as facing or proposing counterexamples and coping with them. In particular, analysing students'…

Proof and proving are important components of school mathematics and have multiple functions in mathematical practice. Among these functions of proof, this paper focuses on the discovery function that refers to invention of a new statement or conjecture by reflecting on or utilizing a constructed proof. Based on two cases in which eighth and ninth…