最終更新日:2022/12/24
The axiom of choice is logically equivalent to the assertion that every vector space has a basis.
編集履歴(0)
The axiom of choice is logically equivalent to the assertion that every vector space has a basis.