Voltar aos Detalhes do Artigo Formalização e axiomatização de provas ontológicas Baixar Baixar PDF