MAKOSHARK: Zajímavý článek, ale nějak jsem nepobral tohle:
Axiom determinovanosti axiomu výběru protiřečí.
...
Věta: Předpokládejme axiom výběru a dosti silný axiom velkých kardinálních čísel. Pak v analytickém univerzu platí axiom determinovanosti.
Jak může A.C. něčemu protiřečit a zároveň být jeho předpokladem? Chápu něco špatně?