ZF + DC + AD is consistent provided that a sufficiently strong large cardinal axiom is consistent (the existence of infinitely many Woodin cardinals).
ZF + DC + AD είναι συνεπής με την προϋπόθεση ότι ένα αρκετά ισχυρά μεγάλα αξιώματα πληθικού είναι συνεπής (η ύπαρξη απείρως πολλών πληθικών Woodin).