V=L is a statement in set theory asserting that every set is constructible. It implies the axiom of choice.
I find this kind of confusing, since the axiom of choice is non-constructive. Can you, for example, find/construct a specific basis of any vector space in ZFC+V=L, or within L itself?
No comments:
Post a Comment