Everything that I read regarding Set Theory states that the Axiom of Choice is independent and undecidable within the context of Zermelo-Frankel Set Theory. My question is this: Is there any consistent form of Set Theory stronger than ZF in which the Axiom of Choice IS decidable?

Thanks guys...First time on here =)

---Dan