Lima, P. R. de. A Contagem Como Uma bije¸c˜ao: Transi¸c˜ao Entre Os Aspectos Intuitivos E O Enunciado Formal. C. Q. D. 2013, 2.