“The Role of the Formal Knowledge in the Formation of the Proof Image: A Case Study in the Context of the Infinite Sets”. 2020. Turkish Journal of Computer and Mathematics Education (TURCOMAT) 11 (3): 584-618. https://turcomat.org/index.php/turkbilmat/article/view/242.