If every totally ordered subset of a partially ordered set has an upper bound, the set contains a maximal element

Every set can be well-ordered

The axiom of choice is false

Every vector space has a finite basis