AD+

In set theory, AD⁺ is an extension, proposed by W. Hugh Woodin, to the axiom of determinacy. The axiom, which is to be understood in the context of ZF... Wikipedia