Missing axiom(s) in the axiomatization of sets

> Created by bitbucket user **OmerSakar** on 2019-12-13 16:23

See issues on the Silicon and Carbon projects:

[https://github.com/viperproject/silicon/issues/405](https://github.com/viperproject/silicon/issues/405)

[https://github.com/viperproject/carbon/issues/292](https://github.com/viperproject/carbon/issues/292)
