formalização de teorias Synonym