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 (3), 584-618.