Minicurso: Uma Construção Axiomática do Conjunto dos Números Naturais