Axiomatic (ZF⁻-like) set theory Axioms Extensionality Adjunction Union Powerset Empty set Restricted comprehension Replacement and Infinity Some of these axioms may almost be derived from the others, but they are included for the sake of convenience.