Análise das Condições de Verdade e dos Requerimentos Existenciais em Axiomatizações da Aritmética