Adding an Abstraction Barrier to ZF Set Theory

Ciarán Dunne, J. B. Wells, Fairouz Kamareddine

Much mathematical writing exists that is, explicitly or implicitly, based on set theory, often Zermelo-Fraenkel set theory (ZF) or one of its variants. In ZF, the domain of discour…