Andrej Bauer <Andrej.Bauer at andrej.com> wrote: > are there (relatively well-known) statements in mathematics, or > specifically set theory, which are _stronger_ than the axiom of choice? What about the generalized continuum hypothesis? Or V = L, or V = OD? Or are these not the flavor of statements you're looking for? Tim