sistemas de quantificação Synonym