Exploring the relationship between tacit models and mathematical infinity through history

In this article we address the historical and epistemological study of infinity as a mathematical concept, focusing on identifying difficulties, counter-intuitive ideas and paradoxes that constituted implicit, unconscious models faced by mathematicians at different times in history, representing obstacles in the rigorous formalization process of this mathematical concept. It is shown how the active and conscious questioning of these models led to a process of axiomatization of mathematical infinity, which was completed with the works of Cantor (1883) and Robinson (1974). The implemented methodology is supported by a qualitative and argumentative bibliographic research based on content analysis from a meta-ethnography. From this research, information is obtained about the unconscious mathematical structures students are confronted with and the conscious patterns of reasoning they must develop to overcome difficulties and obstacles that these models produce, and thus achieve an adequate understanding of mathematical infinity.