A Contagem Como Uma bije¸c˜ao: Transi¸c˜ao Entre Os Aspectos Intuitivos E O Enunciado Formal. C. Q. D. 2013, 2 (1).