axioma de redutibilidade

VIDE antinomias