O Apelo Ao Axioma Da Escolha Na Definição de Certas Operações Aritméticas