critérios de solução de antinomias