Lima, P. R. de. (2013). A contagem como uma bije¸c˜ao: transi¸c˜ao entre os aspectos intuitivos e o enunciado formal. C.Q.D. - Revista Eletrônica Paulista De Matemática, 2(1). Recuperado de https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/10 (Original work published 5º de novembro de 2022)