Ozan Pala, Serkan Narlı. The Role of the Formal Knowledge in the Formation of the Proof Image: A Case Study in the Context of the Infinite Sets. TURCOMAT 2020, 11, 584-618.